predicate inclusion

[hohn]

Include predicates in the workshop session?

Simple ones can be developed in the session.

Complex ones can go into a workshop library, with optional explanation.

[nicolaswill]

I think the expr offset logic should be the first to go (into a library).