Forgot to remove println(). Bouh!
EqGenerator throws UNSATException upon inconsistency (instead of AssertionError)