Constant predicates 

pub const predicates: Symbol;