test0 :: Config ()
test0 = Config {
          cTypes  = [mPing (pvar "x"),
                     mPong (pvar "x"),
                     MTApp (MTyCon "Unit") []]
        , cSets   = []
        , cUnfold = []
        , cProcs  = [
         (tpid0, Send tpid1 [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ())
        ,(tpid1, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid1, Skip ())] ())] ())
                    ]
        } :: Config ()
test0 :: Config ()
test0 = Config {
          cTypes  = [mPing (pvar "x"),
                     mPong (pvar "x"),
                     MTApp (MTyCon "Unit") []]
        , cSets   = []
        , cUnfold = []
        , cProcs  = [
         (tpid0, Send tpid1 [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ())
        ,(tpid1, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid1, Skip ())] ())] ())
                    ]
        } :: Config ()
test0 = Config {
          cTypes  = [mPing (pvar "x"),
                     mPong (pvar "x"),
                     MTApp (MTyCon "Unit") []]
        , cSets   = []
        , cUnfold = []
        , cProcs  = [
         (tpid0, Send tpid1 [(mPing tpid0, Recv [(mPong (pvar "x"), Skip ())] ())] ())
        ,(tpid1, Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong tpid1, Skip ())] ())] ())
                    ]
        } :: Config ()