Switching over now to storing a binary value with each nonterminal for wether we should check it or not