proc_1 = Iter (V "pi") (S "ps")
             (Recv [(mInt, Skip ())] ()) ()
proc_1 = Iter (V "pi") (S "ps")
             (Recv [(mInt, Skip ())] ()) ()
proc_1 = Iter (V "pi") (S "ps")
             (Recv [(mInt, Skip ())] ()) ()