rewrite rules: analysis: variables