Added expose command
Added sat -verify and -falsify support for non-prove cases
Added counters sat test case