Reachability calculation of nonterminals is added