The provider attributes/blocks might have constraint (e.g. RequiredWith). Currently, there is only a very simple hanlding for the ExactlyOneOf for these, but need better handlings.