theory and samples for opaque predicates - View it on GitHub