nl: adds the specified string as an additional reason 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 void add_implied_vis concode_elem_sep String discardString concode_elem_sep DiscardCode discardCode concode_elem_sep String format concode_elem_sep String className
code: void function ( String arg0 ) { discardString += "srini_string" + arg0 ; }