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