Renamed max_nonterminal_length into max_nonterminal_span