#380 using LevelChangePropagator