Added getNumberNode and propose rules, modified getChildren a little bit.