Symbol: propagation_would_overmount