Could you please add the isReduced method in the ImplicationalSystem.iuml file? (with Predicates?)