Removed buggy memory address validity check.
Modified ptrace construction algorithm to avoid repeating ptraces with inner loops.
Added support for multiple p-slices. This version works only when p-slices have no overlaps
and are separated by other intermediate instructions.
Changes to separate the execution of multiple pslices.