Expose topmost predicate definition in transSys