log/smt2perr112.smt2:2:14: unexpected array expression as argument to 'not'