alarmPropagator: added