Reducing Parallel Program Simulation Complexity by Static Analysis