Classify a predicate definition as init or trans
Merge pull request #129 from chsticksel/hotfix-trans-sys

Classify a predicate definition as init or trans
Make topmost node call visible in transition sys.