regress/parser/smt2perr078.smt2:1:32: expected terms of same sort at indices 1 and 2 as argument to '='