getNonterminalNode's body added