kframework/k — pull request #337 by andreistefanescu (2014-04-02 23:01:33+00:00)
Title: avoid creation of Z3 objects when constraint is a substitution (which is...

... trivially satisfiable)