<s>[INST] adds an equality string to the discardstring for each variable in in vis which is different from the leader concode_field_sep Invariant inv concode_elem_sep String discardFormat concode_elem_sep String discardString concode_elem_sep DiscardCode discardCode concode_elem_sep String className concode_field_sep String discardFormat concode_elem_sep String discardString concode_elem_sep void add_implied concode_elem_sep DiscardCode discardCode concode_elem_sep String format concode_elem_sep String className [/INST] void function ( VarInfo [ ] arg0 ) { for ( int loc0 = 0 ; loc0 < arg0 . length ; loc0 ++ ) { if ( inv . ppt . var_infos [ loc0 ] != arg0 [ loc0 ] ) discardString += "srini_string" + inv . ppt . var_infos [ loc0 ] + "srini_string" + arg0 [ loc0 ] ; } </s>