proc_2 = Loop (LV "Y")
             (Send tpid0 [(mPid tpid2, Recv [(mInt, Send tpid1 [(mInt, Goto (LV "Y") ())] ())
                                              ,(mTT, Skip ())] ())] ()) ()
proc_2 = Loop (LV "Y")
             (Send tpid0 [(mPid tpid2, Recv [(mInt, Send tpid1 [(mInt, Goto (LV "Y") ())] ())
                                              ,(mTT, Skip ())] ())] ()) ()
proc_2 = Loop (LV "Y")
             (Send tpid0 [(mPid tpid2, Recv [(mInt, Send tpid1 [(mInt, Goto (LV "Y") ())] ())
                                              ,(mTT, Skip ())] ())] ()) ()