Implemented MochadPredicateProvider