This is the code with the correct implementation of parrallel assign.
Fixed order of intersected graph for path summary.

Also added code to havoc local variables in the creation of the pds