rewrite BooleanLiteral in spider
rewrite Identifier in spider
rewrite NullLiteral in spider
rewrite NumberLiteral in spider
rewrite StringLiteral in spider