Small beginning to code generation for predicates.