Add code to find dominators, parser bug fixes