log/smt2perr076.smt2:1:10: arguments to '=' missing