Generate the correct config. TODO: invariant, predicates, everything.
Create actual Squares, not just ints
Add Square() id and string stuff.
Add main()