initial version of z3 expression parser.