Delete wholeprogram_Jessie_program_WP_parameter_inst2_ensures_default_1.pvs