regress/parser/smt2perr072.smt2:1:18: expected Boolean term at index 1 as argument to '=>'