Interface EffectiveStatementMixins.EffectiveStatementWithFlags<A,​D extends DeclaredStatement<A>>