Added PredicateChecker.