log/smt2perr068.smt2:2:15: unexpected array expression as argument to 'not'