Move KeyEffectiveStatement implementations