Minor change to to regex for matching Vertical ambiguity string, and also parse each of the ambiguous tree separately so we can build out start rule
[wip] Two changes: 1) A new method for writing CFG; 2) keep running the minimiser certain number of times