Expose topmost predicate definition in transSys
Merge pull request #132 from chsticksel/develop

Expose topmost predicate definition in transSys