rewrite rules: syntax: make edges left recursive.