extracted interface PredicateEvaluator and created concrete class AuxiliarMachinePredicateEvaluator