Updated toplSpecs to the new formula format.
Maybe it would be good to introduce formula simplifications in some points.

Now get "Fatal error: exception Smt.Error("SMT error in command call")"