EffectiveModelContext does not have means to communicate which features are supported: we prune the statements which are eliminated by if-feature, but we still expose the FeatureEffectiveStatements. Improve this by disabling feature statements which are not supported.