encoding seems to preserve correct meaning
predicate constants in smtlib parser
fixing bugs