DPTrans [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Var "x"])] (DepGraphProc [(Just (PisEmpty),[(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "a") [Var "x"])]), (Nothing, [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]]]]])]), (Nothing, [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]],Fun (Sharp "b") [Fun (Plain "c") [Fun (Plain "a") [Var "x"]]])])])