Add System-check

[stklik]

Implement functionality that performs the syntax & semantic checks of a CREST system.

• each entity has exactly one parent, only appears in the children of one entity
• a port has only one outgoing and one incoming influence
• updates are related to one state
• there is exactly one active state (or no states at all)
• updates, influences & transitions use only source ports, write only target ports