Test for property propagation