Wir haben main.

We have main. The program is now capable of reading unit graphs and
rules, and rewrite the system.