rewrite InExpression in spider
rewrite LogicalExpression in spider