ChildInsertionRule function defines if a given parent can have a child of the given type
The programNode that becomes parent, for the newly inserted child, if the operation is allowed
Type of node to insert.
true if the insertion operation succeeded
ChildInsertionRule function defines if a given parent can have a child of the given type