/home/models/dreal4/dreal/test/smt2/github_issue_194.smt2.expected