Interface EffectiveStatementEquivalent<E extends EffectiveStatement<?,​?>>