Futher tidy `propagation.t.js`.

See #351.