The directive 'builtin' is used to declare the existence of predicates within the program.
As a result of the declaration, the compiler will not complain about missing predicates, e.g. for predicates that are created dynamically with from Java methods.