Model Invariants

[jpasski]

From @jonpasski on April 25, 2016 20:27

Node

• refersTo / referredBy shan't point to parent, children, or self

  Snippet

• Line end cannot be less than line start

  Label

• Cannot be empty

Copied from original issue: OpenSemanticsIO/semiotics-main#25