Typo.
Define locUnitPredicate.
Define prestaPredicate / Reverse.
Define contractPredicate / Reverse.