There is some checking for unexeptional inputs, but it's not systematically implemented in methods in this package. Therefore a developer must be aware of where a certain method is first called. The most common way is Tavi(Dialogs)/StateHandler -> Graph -> Server -> TFlow. However the basic data structures are quite easy, but the hard part is in TFlow where lots of hard counting is done while drawing.