Builder for Acorn that precompiles predicates in order to satisfy CSP.