GenericNode->AbstractNode, BasicStatement->AbstractStatement