Added support for checking iteration over nonterminal optionals