Rewrite done, not compiled yet
Compiles
Fix forgetting about old edges, refactoring
Fix missing I in U production rule
Visually reproduces previous program