log/smt2perr125.smt2:1:15: expected var binding at '_'