rewrite rules: analysis: tests for name binding + small fixes