Add test for prog_value_change.