Addition of a predicate module