* temporary fix for eliminate_implications

* Change from << to <==

* Fixed implies operator in SAT_plan

* changed Expr name to counter