log/smt2perr119.smt2:1:29: second term bound to '$a'