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

Expose topmost predicate definition in transSys
Merge remote-tracking branch 'origin/develop'
Save checkpoint