A number of statements have mandatory substatements which are of interest when we try to analyze the EffectiveModelContext.

This includes, for example, ActionEffectiveStatement/RpcEffectiveStatement always having InputEffectiveStatement/OutputEffectiveStatement substatements.

Audit the definitions and expose utility methods to expose such invariants.