Removed true_ and false_ constants
Added some debug output in solver.ml
Added options to test utility