first rewrite-rules for AST