log/smt2perr077.smt2:1:10: only one argument to '='