category minorAnalysis Added post-update nodes for struct-type arguments, allowing data flow out of method calls via those arguments.