fork join parallel program analysis 9342426