bad.dot

digraph G {
u47[label="lst"];
u48[label="[]"];
u49[label="lst = []"];
u50[label="acc"];
u51[label="()"];
u52[label="if lst = [] then acc else ()"];
u53[label="fun acc ->\n  if lst = [] then acc else ()"];
u54[label="(0.0 , 0.0)"];
u55[label="[]"];
u56[label="((0.0 , 0.0) , [])"];
u57[label="loop"];
u58[label="lst"];
u59[label="(0.0 , 0.0) :: []"];
u60[label="loop lst ((0.0 , 0.0) :: [])"];
u61[label="h"];
u62[label="match loop lst ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u63[label="fun lst ->\n  fun acc ->\n    if lst = [] then acc else ()"];
u64[label="let rec loop =\n  fun lst ->\n    fun acc ->\n      if lst = [] then acc else () in\nmatch loop lst ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u65[label="fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h"];
u66[label="f"];
u67[label="f (1 :: [])"];
u68[label="[]"];
u69[label="(1 , [])"];
u70[label="1"];
u71[label="[]"];
u72[label="1 :: []"];
u73[label="(fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h) (1 :: [])"];
u74[label="(1 , [])"];
u75[label="1 :: []"];
u76[label="(1 , [])"];
u77[label="(fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h) (1 :: [])"];
u78[label=":: (1 , [])"];
u79[label="(fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h) (:: (1 , []))"];
u80[label="fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h"];
u81[label="[1]"];
u82[label="lst"];
u83[label="[]"];
u84[label="lst = []"];
u85[label="acc"];
u86[label="()"];
u87[label="if lst = [] then acc else ()"];
u88[label="fun acc ->\n  if lst = [] then acc else ()"];
u89[label="0.0"];
u90[label="0.0"];
u91[label="(fun lst ->\n  let rec loop =\n    fun lst ->\n      fun acc ->\n        if lst = [] then acc else () in\n  match loop lst ((0.0 , 0.0) :: []) with\n  | h :: t -> h) [1]"];
u92[label="fun lst ->\n  fun acc ->\n    if lst = [] then acc else ()"];
u93[label="let rec loop =\n  fun lst ->\n    fun acc ->\n      if lst = [] then acc else () in\nmatch loop lst ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u94[label="loop"];
u95[label="loop lst ((0.0 , 0.0) :: [])"];
u96[label="match loop lst ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u97[label="lst"];
u98[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) lst ((0.0 , 0.0) :: [])"];
u99[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) lst ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u100[label="(0.0 , 0.0)"];
u101[label="((0.0 , 0.0) , [])"];
u102[label="(0.0 , 0.0) :: []"];
u103[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: [])"];
u104[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u105[label="[]"];
u106[label="((0.0 , 0.0) , [])"];
u107[label="(0.0 , 0.0)"];
u108[label="[]"];
u109[label="(0.0 , 0.0) :: []"];
u110[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: [])"];
u111[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u112[label="((0.0 , 0.0) , [])"];
u113[label="(0.0 , 0.0) :: []"];
u114[label="((0.0 , 0.0) , [])"];
u115[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: [])"];
u116[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] ((0.0 , 0.0) :: []) with\n| h :: t -> h"];
u117[label=":: ((0.0 , 0.0) , [])"];
u118[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] (:: ((0.0 , 0.0) , []))"];
u119[label="fun lst ->\n  fun acc ->\n    if lst = [] then acc else ()"];
u120[label="[1]"];
u121[label="[(0.0 , 0.0)]"];
u122[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] (:: ((0.0 , 0.0) , [])) with\n| h :: t -> h"];
u123[label="(fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] [(0.0 , 0.0)]"];
u124[label="match (fun lst ->\n  fun acc ->\n    if lst = []\n    then acc\n    else ()) [1] [(0.0 , 0.0)] with\n| h :: t -> h"];
u125[label="lst"];
u126[label="lst = []"];
u127[label="if lst = [] then acc else ()"];
u128[label="match if lst = []\n      then acc\n      else () with\n| h :: t -> h"];
u129[label="[]"];
u130[label="[1] = []"];
u131[label="[1]"];
u132[label="[]"];
u133[label="if [1] = [] then acc else ()"];
u134[label="match if [1] = []\n      then acc\n      else () with\n| h :: t -> h"];
u135[label="[1] = []"];
u136[label="if [1] = [] then acc else ()"];
u137[label="false"];
u138[label="acc"];
u139[label="match if [1] = []\n      then acc\n      else () with\n| h :: t -> h"];
u140[label="if false then acc else ()"];
u141[label="match if false then acc else () with\n| h :: t -> h"];
u142[label="()"];
u143[label="match () with\n| h :: t -> h"];
u144[label="()"];
u145[label="h"];
u146[label="match () with\n| h :: t -> h"];
u49 -> u47[label="SubTerm 0"];
u49 -> u48[label="SubTerm 1"];
u52 -> u49[label="SubTerm 0"];
u52 -> u50[label="SubTerm 1"];
u52 -> u51[label="SubTerm 2"];
u53 -> u52[label="SubTerm 0"];
u54 -> u89[label="SubTerm 0"];
u54 -> u90[label="SubTerm 1"];
u56 -> u54[label="SubTerm 0"];
u56 -> u55[label="SubTerm 1"];
u59 -> u56[label="SubTerm 0"];
u60 -> u57[label="SubTerm 0"];
u60 -> u58[label="SubTerm 1"];
u60 -> u59[label="SubTerm 2"];
u62 -> u60[label="SubTerm 0"];
u62 -> u61[label="SubTerm 1"];
u63 -> u53[label="SubTerm 0"];
u64 -> u62[label="SubTerm 0"];
u64 -> u63[label="SubTerm 1"];
u65 -> u64[label="SubTerm 0"];
u66 -> u80[label="StepsTo"];
u67 -> u66[label="SubTerm 0"];
u67 -> u72[label="SubTerm 1"];
u67 -> u73[label="StepsTo"];
u68 -> u71[label="StepsTo"];
u69 -> u68[label="SubTerm 1"];
u69 -> u70[label="SubTerm 0"];
u69 -> u74[label="StepsTo"];
u72 -> u69[label="SubTerm 0"];
u72 -> u75[label="StepsTo"];
u73 -> u72[label="SubTerm 1"];
u73 -> u77[label="StepsTo"];
u73 -> u80[label="SubTerm 0"];
u74 -> u70[label="SubTerm 0"];
u74 -> u71[label="SubTerm 1"];
u74 -> u76[label="StepsTo"];
u75 -> u74[label="SubTerm 0"];
u75 -> u78[label="StepsTo"];
u77 -> u75[label="SubTerm 1"];
u77 -> u79[label="StepsTo"];
u77 -> u80[label="SubTerm 0"];
u78 -> u76[label="SubTerm 0"];
u78 -> u81[label="StepsTo"];
u79 -> u78[label="SubTerm 1"];
u79 -> u80[label="SubTerm 0"];
u79 -> u91[label="StepsTo"];
u84 -> u82[label="SubTerm 0"];
u84 -> u83[label="SubTerm 1"];
u87 -> u84[label="SubTerm 0"];
u87 -> u85[label="SubTerm 1"];
u87 -> u86[label="SubTerm 2"];
u88 -> u87[label="SubTerm 0"];
u91 -> u80[label="SubTerm 0"];
u91 -> u81[label="SubTerm 1"];
u91 -> u93[label="StepsTo"];
u92 -> u88[label="SubTerm 0"];
u93 -> u92[label="SubTerm 1"];
u93 -> u96[label="StepsTo"];
u93 -> u96[label="SubTerm 0"];
u94 -> u119[label="StepsTo"];
u95 -> u94[label="SubTerm 0"];
u95 -> u97[label="SubTerm 1"];
u95 -> u98[label="StepsTo"];
u95 -> u102[label="SubTerm 2"];
u96 -> u95[label="SubTerm 0"];
u96 -> u99[label="StepsTo"];
u96 -> u145[label="SubTerm 1"];
u97 -> u120[label="StepsTo"];
u98 -> u97[label="SubTerm 1"];
u98 -> u102[label="SubTerm 2"];
u98 -> u103[label="StepsTo"];
u98 -> u119[label="SubTerm 0"];
u99 -> u98[label="SubTerm 0"];
u99 -> u104[label="StepsTo"];
u99 -> u145[label="SubTerm 1"];
u100 -> u89[label="SubTerm 0"];
u100 -> u90[label="SubTerm 1"];
u100 -> u107[label="StepsTo"];
u101 -> u100[label="SubTerm 0"];
u101 -> u105[label="SubTerm 1"];
u101 -> u106[label="StepsTo"];
u102 -> u101[label="SubTerm 0"];
u102 -> u109[label="StepsTo"];
u103 -> u102[label="SubTerm 2"];
u103 -> u110[label="StepsTo"];
u103 -> u119[label="SubTerm 0"];
u103 -> u120[label="SubTerm 1"];
u104 -> u103[label="SubTerm 0"];
u104 -> u111[label="StepsTo"];
u104 -> u145[label="SubTerm 1"];
u105 -> u108[label="StepsTo"];
u106 -> u105[label="SubTerm 1"];
u106 -> u107[label="SubTerm 0"];
u106 -> u112[label="StepsTo"];
u109 -> u106[label="SubTerm 0"];
u109 -> u113[label="StepsTo"];
u110 -> u109[label="SubTerm 2"];
u110 -> u115[label="StepsTo"];
u110 -> u119[label="SubTerm 0"];
u110 -> u120[label="SubTerm 1"];
u111 -> u110[label="SubTerm 0"];
u111 -> u116[label="StepsTo"];
u111 -> u145[label="SubTerm 1"];
u112 -> u107[label="SubTerm 0"];
u112 -> u108[label="SubTerm 1"];
u112 -> u114[label="StepsTo"];
u113 -> u112[label="SubTerm 0"];
u113 -> u117[label="StepsTo"];
u115 -> u113[label="SubTerm 2"];
u115 -> u118[label="StepsTo"];
u115 -> u119[label="SubTerm 0"];
u115 -> u120[label="SubTerm 1"];
u116 -> u115[label="SubTerm 0"];
u116 -> u122[label="StepsTo"];
u116 -> u145[label="SubTerm 1"];
u117 -> u114[label="SubTerm 0"];
u117 -> u121[label="StepsTo"];
u118 -> u117[label="SubTerm 2"];
u118 -> u119[label="SubTerm 0"];
u118 -> u120[label="SubTerm 1"];
u118 -> u123[label="StepsTo"];
u122 -> u118[label="SubTerm 0"];
u122 -> u124[label="StepsTo"];
u122 -> u145[label="SubTerm 1"];
u123 -> u119[label="SubTerm 0"];
u123 -> u120[label="SubTerm 1"];
u123 -> u121[label="SubTerm 2"];
u123 -> u127[label="StepsTo"];
u124 -> u123[label="SubTerm 0"];
u124 -> u128[label="StepsTo"];
u124 -> u145[label="SubTerm 1"];
u125 -> u131[label="StepsTo"];
u126 -> u125[label="SubTerm 0"];
u126 -> u129[label="SubTerm 1"];
u126 -> u130[label="StepsTo"];
u127 -> u126[label="SubTerm 0"];
u127 -> u133[label="StepsTo"];
u127 -> u138[label="SubTerm 1"];
u127 -> u142[label="SubTerm 2"];
u128 -> u127[label="SubTerm 0"];
u128 -> u134[label="StepsTo"];
u128 -> u145[label="SubTerm 1"];
u129 -> u132[label="StepsTo"];
u130 -> u129[label="SubTerm 1"];
u130 -> u131[label="SubTerm 0"];
u130 -> u135[label="StepsTo"];
u133 -> u130[label="SubTerm 0"];
u133 -> u136[label="StepsTo"];
u133 -> u138[label="SubTerm 1"];
u133 -> u142[label="SubTerm 2"];
u134 -> u133[label="SubTerm 0"];
u134 -> u139[label="StepsTo"];
u134 -> u145[label="SubTerm 1"];
u135 -> u131[label="SubTerm 0"];
u135 -> u132[label="SubTerm 1"];
u135 -> u137[label="StepsTo"];
u136 -> u135[label="SubTerm 0"];
u136 -> u138[label="SubTerm 1"];
u136 -> u140[label="StepsTo"];
u136 -> u142[label="SubTerm 2"];
u139 -> u136[label="SubTerm 0"];
u139 -> u141[label="StepsTo"];
u139 -> u145[label="SubTerm 1"];
u140 -> u137[label="SubTerm 0"];
u140 -> u138[label="SubTerm 1"];
u140 -> u142[label="StepsTo"];
u140 -> u142[label="SubTerm 2"];
u141 -> u140[label="SubTerm 0"];
u141 -> u143[label="StepsTo"];
u141 -> u145[label="SubTerm 1"];
u142 -> u144[label="StepsTo"];
u143 -> u142[label="SubTerm 0"];
u143 -> u145[label="SubTerm 1"];
u143 -> u146[label="StepsTo"];
u146 -> u144[label="SubTerm 0"];
u146 -> u145[label="SubTerm 1"];

}