Fix the error in test_property.py
add test_propagate.py to test the propagation