Interface OmegaMembershipOracle.MealyOmegaMembershipOracle<S,​I,​O>