Program now chooses consistent nodes based on what's specified in the grammar. A couple other bugs are still present.