Class LevelChangePropagator