rewrite rules: analysis: first variable occurrence is def, rest variable occurrences are uses