avoid creation of Z3 objects when constraint is a substitution (which is trivially satisfiable)
fixed copyright
fixed copyright
Merge pull request #337 from andreistefanescu/master

avoid creation of Z3 objects when constraint is a substitution (which is...