Fix unitialized value in test_case observed_status for tc_proper_model behaviour