Consolidate IntegralTypeEffectiveStatementImpl