Property_value_freeze_program