regress/parser/smt2perr071.smt2:2:13: expected Boolean term at index 0 as argument to '=>'