test1unfold :: Config ()
test1unfold = Config {
                cTypes = [mPing (pvar "x"), mPong (pvar "x")]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0,
                                Iter (V "pi") (S "ps")
                                        (Send (PVar (V "pi")) [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ()) ())
                         ,(tpid2, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid2, Skip ())] ())] ())]
}
test1unfold :: Config ()
test1unfold = Config {
                cTypes = [mPing (pvar "x"), mPong (pvar "x")]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0,
                                Iter (V "pi") (S "ps")
                                        (Send (PVar (V "pi")) [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ()) ())
                         ,(tpid2, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid2, Skip ())] ())] ())]
}
test1unfold = Config {
                cTypes = [mPing (pvar "x"), mPong (pvar "x")]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0,
                                Iter (V "pi") (S "ps")
                                        (Send (PVar (V "pi")) [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ()) ())
                         ,(tpid2, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid2, Skip ())] ())] ())]
}