Got rid of more calls to ASTBuilder.copySubtree()

Replaced all calls to ASTBuilder.prefixExpr(NOT) with the new ASTBuilder.not().