log/smt2perr075.smt2:1:10: argument to 'or' missing