propagation analysis