DPTrans [(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])] (DepGraphProc [(Just ((RedPairProc (Polo [((Plain "b"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Plain "a"),(Zero_nat,[(Suc Zero_nat)])), ((Sharp "b"),((Suc (Suc (Suc Zero_nat))),[(Suc Zero_nat)])), ((Sharp "a"),((Suc (Suc Zero_nat)),[(Suc Zero_nat)]))]) [(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])] (DepGraphProc [(Just (PisEmpty),[(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])])]))),[(Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "a") [Fun (Plain "b") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Var "x"]]])])])