rewrite ConditionalExpression in spider
rewrite ExistentialExpression in spider
rewrite ForInExpression in spider
rewrite FunctionExpression in spider