regress/parser/smt2perr164.smt2:1:13: expected Boolean term at index 0 as argument to 'or'