11.11/4.43	NO
13.49/5.11	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
13.49/5.11	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.49/5.11	
13.49/5.11	
13.49/5.11	H-Termination with start terms of the given HASKELL could be disproven:
13.49/5.11	
13.49/5.11	(0) HASKELL
13.49/5.11	(1) BR [EQUIVALENT, 0 ms]
13.49/5.11	(2) HASKELL
13.49/5.11	(3) COR [EQUIVALENT, 0 ms]
13.49/5.11	(4) HASKELL
13.49/5.11	(5) Narrow [COMPLETE, 0 ms]
13.49/5.11	(6) AND
13.49/5.11	    (7) QDP
13.49/5.11	        (8) PisEmptyProof [EQUIVALENT, 0 ms]
13.49/5.11	        (9) YES
13.49/5.11	    (10) QDP
13.49/5.11	        (11) NonTerminationLoopProof [COMPLETE, 0 ms]
13.49/5.11	        (12) NO
13.49/5.11	    (13) QDP
13.49/5.11	
13.49/5.11	
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(0)
13.49/5.11	Obligation:
13.49/5.11	mainModule Main 
13.49/5.11	module Main where {
13.49/5.11	import qualified Prelude;
13.49/5.11	data List a = Cons a (List a)  | Nil ;
13.49/5.11	
13.49/5.11	data MyBool = MyTrue  | MyFalse ;
13.49/5.11	
13.49/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.49/5.11	
13.49/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.49/5.11	
13.49/5.11	data Ordering = LT  | EQ  | GT ;
13.49/5.11	
13.49/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	compareMyInt = primCmpInt;
13.49/5.11	
13.49/5.11	enumFromThenToMyBool :: MyBool  ->  MyBool  ->  MyBool  ->  List MyBool;
13.49/5.11	enumFromThenToMyBool x y z = map toEnumMyBool (enumFromThenToMyInt (fromEnumMyBool x) (fromEnumMyBool y) (fromEnumMyBool z));
13.49/5.11	
13.49/5.11	enumFromThenToMyInt :: MyInt  ->  MyInt  ->  MyInt  ->  List MyInt;
13.49/5.11	enumFromThenToMyInt = numericEnumFromThenTo;
13.49/5.11	
13.49/5.11	esEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	esEsMyInt = primEqInt;
13.49/5.11	
13.49/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	esEsOrdering LT LT = MyTrue;
13.49/5.11	esEsOrdering LT EQ = MyFalse;
13.49/5.11	esEsOrdering LT GT = MyFalse;
13.49/5.11	esEsOrdering EQ LT = MyFalse;
13.49/5.11	esEsOrdering EQ EQ = MyTrue;
13.49/5.11	esEsOrdering EQ GT = MyFalse;
13.49/5.11	esEsOrdering GT LT = MyFalse;
13.49/5.11	esEsOrdering GT EQ = MyFalse;
13.49/5.11	esEsOrdering GT GT = MyTrue;
13.49/5.11	
13.49/5.11	flip :: (c  ->  b  ->  a)  ->  b  ->  c  ->  a;
13.49/5.11	flip f x y = f y x;
13.49/5.11	
13.49/5.11	fromEnumMyBool :: MyBool  ->  MyInt;
13.49/5.11	fromEnumMyBool MyFalse = Main.Pos Main.Zero;
13.49/5.11	fromEnumMyBool MyTrue = Main.Pos (Main.Succ Main.Zero);
13.49/5.11	
13.49/5.11	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	fsEsOrdering x y = not (esEsOrdering x y);
13.49/5.11	
13.49/5.11	gtEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	gtEsMyInt x y = fsEsOrdering (compareMyInt x y) LT;
13.49/5.11	
13.49/5.11	iterate :: (a  ->  a)  ->  a  ->  List a;
13.49/5.11	iterate f x = Cons x (iterate f (f x));
13.49/5.11	
13.49/5.11	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
13.49/5.11	
13.49/5.11	map :: (b  ->  a)  ->  List b  ->  List a;
13.49/5.11	map f Nil = Nil;
13.49/5.11	map f (Cons x xs) = Cons (f x) (map f xs);
13.49/5.11	
13.49/5.11	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	msMyInt = primMinusInt;
13.49/5.11	
13.49/5.11	not :: MyBool  ->  MyBool;
13.49/5.11	not MyTrue = MyFalse;
13.49/5.11	not MyFalse = MyTrue;
13.49/5.11	
13.49/5.11	numericEnumFromThen n m = iterate (psMyInt (msMyInt m n)) n;
13.49/5.11	
13.49/5.11	numericEnumFromThenTo n n' m = takeWhile (numericEnumFromThenToP n' n m) (numericEnumFromThen n n');
13.49/5.11	
13.49/5.11	numericEnumFromThenToP xu xv xw = numericEnumFromThenToP2 xu xv xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP0 xu xv xw MyTrue = flip gtEsMyInt xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyTrue = flip ltEsMyInt xw;
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyFalse = numericEnumFromThenToP0 xu xv xw otherwise;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP2 xu xv xw = numericEnumFromThenToP1 xu xv xw (gtEsMyInt xu xv);
13.49/5.11	
13.49/5.11	otherwise :: MyBool;
13.49/5.11	otherwise = MyTrue;
13.49/5.11	
13.49/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.49/5.11	
13.49/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.49/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.49/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.49/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.49/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.49/5.11	
13.49/5.11	primEqInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	primEqInt (Main.Pos (Main.Succ x)) (Main.Pos (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Neg (Main.Succ x)) (Main.Neg (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt vv vw = MyFalse;
13.49/5.11	
13.49/5.11	primEqNat :: Main.Nat  ->  Main.Nat  ->  MyBool;
13.49/5.11	primEqNat Main.Zero Main.Zero = MyTrue;
13.49/5.11	primEqNat Main.Zero (Main.Succ y) = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) Main.Zero = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) (Main.Succ y) = primEqNat x y;
13.49/5.11	
13.49/5.11	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
13.49/5.11	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
13.49/5.11	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
13.49/5.11	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
13.49/5.11	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
13.49/5.11	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
13.49/5.11	
13.49/5.11	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
13.49/5.11	primPlusNat Main.Zero Main.Zero = Main.Zero;
13.49/5.11	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
13.49/5.11	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
13.49/5.11	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
13.49/5.11	
13.49/5.11	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	psMyInt = primPlusInt;
13.49/5.11	
13.49/5.11	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
13.49/5.11	takeWhile p Nil = takeWhile3 p Nil;
13.49/5.11	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
13.49/5.11	
13.49/5.11	takeWhile0 p x xs MyTrue = Nil;
13.49/5.11	
13.49/5.11	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
13.49/5.11	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
13.49/5.11	
13.49/5.11	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
13.49/5.11	
13.49/5.11	takeWhile3 p Nil = Nil;
13.49/5.11	takeWhile3 wy wz = takeWhile2 wy wz;
13.49/5.11	
13.49/5.11	toEnum0 MyTrue vx = MyTrue;
13.49/5.11	
13.49/5.11	toEnum1 vx = toEnum0 (esEsMyInt vx (Main.Pos (Main.Succ Main.Zero))) vx;
13.49/5.11	
13.49/5.11	toEnum2 MyTrue vy = MyFalse;
13.49/5.11	toEnum2 vz wu = toEnum1 wu;
13.49/5.11	
13.49/5.11	toEnum3 vy = toEnum2 (esEsMyInt vy (Main.Pos Main.Zero)) vy;
13.49/5.11	toEnum3 wv = toEnum1 wv;
13.49/5.11	
13.49/5.11	toEnumMyBool :: MyInt  ->  MyBool;
13.49/5.11	toEnumMyBool vy = toEnum3 vy;
13.49/5.11	toEnumMyBool vx = toEnum1 vx;
13.49/5.11	
13.49/5.11	}
13.49/5.11	
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(1) BR (EQUIVALENT)
13.49/5.11	Replaced joker patterns by fresh variables and removed binding patterns.
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(2)
13.49/5.11	Obligation:
13.49/5.11	mainModule Main 
13.49/5.11	module Main where {
13.49/5.11	import qualified Prelude;
13.49/5.11	data List a = Cons a (List a)  | Nil ;
13.49/5.11	
13.49/5.11	data MyBool = MyTrue  | MyFalse ;
13.49/5.11	
13.49/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.49/5.11	
13.49/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.49/5.11	
13.49/5.11	data Ordering = LT  | EQ  | GT ;
13.49/5.11	
13.49/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	compareMyInt = primCmpInt;
13.49/5.11	
13.49/5.11	enumFromThenToMyBool :: MyBool  ->  MyBool  ->  MyBool  ->  List MyBool;
13.49/5.11	enumFromThenToMyBool x y z = map toEnumMyBool (enumFromThenToMyInt (fromEnumMyBool x) (fromEnumMyBool y) (fromEnumMyBool z));
13.49/5.11	
13.49/5.11	enumFromThenToMyInt :: MyInt  ->  MyInt  ->  MyInt  ->  List MyInt;
13.49/5.11	enumFromThenToMyInt = numericEnumFromThenTo;
13.49/5.11	
13.49/5.11	esEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	esEsMyInt = primEqInt;
13.49/5.11	
13.49/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	esEsOrdering LT LT = MyTrue;
13.49/5.11	esEsOrdering LT EQ = MyFalse;
13.49/5.11	esEsOrdering LT GT = MyFalse;
13.49/5.11	esEsOrdering EQ LT = MyFalse;
13.49/5.11	esEsOrdering EQ EQ = MyTrue;
13.49/5.11	esEsOrdering EQ GT = MyFalse;
13.49/5.11	esEsOrdering GT LT = MyFalse;
13.49/5.11	esEsOrdering GT EQ = MyFalse;
13.49/5.11	esEsOrdering GT GT = MyTrue;
13.49/5.11	
13.49/5.11	flip :: (a  ->  c  ->  b)  ->  c  ->  a  ->  b;
13.49/5.11	flip f x y = f y x;
13.49/5.11	
13.49/5.11	fromEnumMyBool :: MyBool  ->  MyInt;
13.49/5.11	fromEnumMyBool MyFalse = Main.Pos Main.Zero;
13.49/5.11	fromEnumMyBool MyTrue = Main.Pos (Main.Succ Main.Zero);
13.49/5.11	
13.49/5.11	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	fsEsOrdering x y = not (esEsOrdering x y);
13.49/5.11	
13.49/5.11	gtEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	gtEsMyInt x y = fsEsOrdering (compareMyInt x y) LT;
13.49/5.11	
13.49/5.11	iterate :: (a  ->  a)  ->  a  ->  List a;
13.49/5.11	iterate f x = Cons x (iterate f (f x));
13.49/5.11	
13.49/5.11	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
13.49/5.11	
13.49/5.11	map :: (b  ->  a)  ->  List b  ->  List a;
13.49/5.11	map f Nil = Nil;
13.49/5.11	map f (Cons x xs) = Cons (f x) (map f xs);
13.49/5.11	
13.49/5.11	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	msMyInt = primMinusInt;
13.49/5.11	
13.49/5.11	not :: MyBool  ->  MyBool;
13.49/5.11	not MyTrue = MyFalse;
13.49/5.11	not MyFalse = MyTrue;
13.49/5.11	
13.49/5.11	numericEnumFromThen n m = iterate (psMyInt (msMyInt m n)) n;
13.49/5.11	
13.49/5.11	numericEnumFromThenTo n n' m = takeWhile (numericEnumFromThenToP n' n m) (numericEnumFromThen n n');
13.49/5.11	
13.49/5.11	numericEnumFromThenToP xu xv xw = numericEnumFromThenToP2 xu xv xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP0 xu xv xw MyTrue = flip gtEsMyInt xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyTrue = flip ltEsMyInt xw;
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyFalse = numericEnumFromThenToP0 xu xv xw otherwise;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP2 xu xv xw = numericEnumFromThenToP1 xu xv xw (gtEsMyInt xu xv);
13.49/5.11	
13.49/5.11	otherwise :: MyBool;
13.49/5.11	otherwise = MyTrue;
13.49/5.11	
13.49/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.49/5.11	
13.49/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.49/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.49/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.49/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.49/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.49/5.11	
13.49/5.11	primEqInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	primEqInt (Main.Pos (Main.Succ x)) (Main.Pos (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Neg (Main.Succ x)) (Main.Neg (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt vv vw = MyFalse;
13.49/5.11	
13.49/5.11	primEqNat :: Main.Nat  ->  Main.Nat  ->  MyBool;
13.49/5.11	primEqNat Main.Zero Main.Zero = MyTrue;
13.49/5.11	primEqNat Main.Zero (Main.Succ y) = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) Main.Zero = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) (Main.Succ y) = primEqNat x y;
13.49/5.11	
13.49/5.11	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
13.49/5.11	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
13.49/5.11	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
13.49/5.11	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
13.49/5.11	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
13.49/5.11	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
13.49/5.11	
13.49/5.11	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
13.49/5.11	primPlusNat Main.Zero Main.Zero = Main.Zero;
13.49/5.11	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
13.49/5.11	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
13.49/5.11	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
13.49/5.11	
13.49/5.11	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	psMyInt = primPlusInt;
13.49/5.11	
13.49/5.11	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
13.49/5.11	takeWhile p Nil = takeWhile3 p Nil;
13.49/5.11	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
13.49/5.11	
13.49/5.11	takeWhile0 p x xs MyTrue = Nil;
13.49/5.11	
13.49/5.11	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
13.49/5.11	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
13.49/5.11	
13.49/5.11	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
13.49/5.11	
13.49/5.11	takeWhile3 p Nil = Nil;
13.49/5.11	takeWhile3 wy wz = takeWhile2 wy wz;
13.49/5.11	
13.49/5.11	toEnum0 MyTrue vx = MyTrue;
13.49/5.11	
13.49/5.11	toEnum1 vx = toEnum0 (esEsMyInt vx (Main.Pos (Main.Succ Main.Zero))) vx;
13.49/5.11	
13.49/5.11	toEnum2 MyTrue vy = MyFalse;
13.49/5.11	toEnum2 vz wu = toEnum1 wu;
13.49/5.11	
13.49/5.11	toEnum3 vy = toEnum2 (esEsMyInt vy (Main.Pos Main.Zero)) vy;
13.49/5.11	toEnum3 wv = toEnum1 wv;
13.49/5.11	
13.49/5.11	toEnumMyBool :: MyInt  ->  MyBool;
13.49/5.11	toEnumMyBool vy = toEnum3 vy;
13.49/5.11	toEnumMyBool vx = toEnum1 vx;
13.49/5.11	
13.49/5.11	}
13.49/5.11	
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(3) COR (EQUIVALENT)
13.49/5.11	Cond Reductions:
13.49/5.11	The following Function with conditions
13.49/5.11	"undefined |Falseundefined;
13.49/5.11	"
13.49/5.11	is transformed to
13.49/5.11	"undefined  = undefined1;
13.49/5.11	"
13.49/5.11	"undefined0 True = undefined;
13.49/5.11	"
13.49/5.11	"undefined1  = undefined0 False;
13.49/5.11	"
13.49/5.11	
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(4)
13.49/5.11	Obligation:
13.49/5.11	mainModule Main 
13.49/5.11	module Main where {
13.49/5.11	import qualified Prelude;
13.49/5.11	data List a = Cons a (List a)  | Nil ;
13.49/5.11	
13.49/5.11	data MyBool = MyTrue  | MyFalse ;
13.49/5.11	
13.49/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.49/5.11	
13.49/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.49/5.11	
13.49/5.11	data Ordering = LT  | EQ  | GT ;
13.49/5.11	
13.49/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	compareMyInt = primCmpInt;
13.49/5.11	
13.49/5.11	enumFromThenToMyBool :: MyBool  ->  MyBool  ->  MyBool  ->  List MyBool;
13.49/5.11	enumFromThenToMyBool x y z = map toEnumMyBool (enumFromThenToMyInt (fromEnumMyBool x) (fromEnumMyBool y) (fromEnumMyBool z));
13.49/5.11	
13.49/5.11	enumFromThenToMyInt :: MyInt  ->  MyInt  ->  MyInt  ->  List MyInt;
13.49/5.11	enumFromThenToMyInt = numericEnumFromThenTo;
13.49/5.11	
13.49/5.11	esEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	esEsMyInt = primEqInt;
13.49/5.11	
13.49/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	esEsOrdering LT LT = MyTrue;
13.49/5.11	esEsOrdering LT EQ = MyFalse;
13.49/5.11	esEsOrdering LT GT = MyFalse;
13.49/5.11	esEsOrdering EQ LT = MyFalse;
13.49/5.11	esEsOrdering EQ EQ = MyTrue;
13.49/5.11	esEsOrdering EQ GT = MyFalse;
13.49/5.11	esEsOrdering GT LT = MyFalse;
13.49/5.11	esEsOrdering GT EQ = MyFalse;
13.49/5.11	esEsOrdering GT GT = MyTrue;
13.49/5.11	
13.49/5.11	flip :: (c  ->  b  ->  a)  ->  b  ->  c  ->  a;
13.49/5.11	flip f x y = f y x;
13.49/5.11	
13.49/5.11	fromEnumMyBool :: MyBool  ->  MyInt;
13.49/5.11	fromEnumMyBool MyFalse = Main.Pos Main.Zero;
13.49/5.11	fromEnumMyBool MyTrue = Main.Pos (Main.Succ Main.Zero);
13.49/5.11	
13.49/5.11	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.49/5.11	fsEsOrdering x y = not (esEsOrdering x y);
13.49/5.11	
13.49/5.11	gtEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	gtEsMyInt x y = fsEsOrdering (compareMyInt x y) LT;
13.49/5.11	
13.49/5.11	iterate :: (a  ->  a)  ->  a  ->  List a;
13.49/5.11	iterate f x = Cons x (iterate f (f x));
13.49/5.11	
13.49/5.11	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
13.49/5.11	
13.49/5.11	map :: (b  ->  a)  ->  List b  ->  List a;
13.49/5.11	map f Nil = Nil;
13.49/5.11	map f (Cons x xs) = Cons (f x) (map f xs);
13.49/5.11	
13.49/5.11	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	msMyInt = primMinusInt;
13.49/5.11	
13.49/5.11	not :: MyBool  ->  MyBool;
13.49/5.11	not MyTrue = MyFalse;
13.49/5.11	not MyFalse = MyTrue;
13.49/5.11	
13.49/5.11	numericEnumFromThen n m = iterate (psMyInt (msMyInt m n)) n;
13.49/5.11	
13.49/5.11	numericEnumFromThenTo n n' m = takeWhile (numericEnumFromThenToP n' n m) (numericEnumFromThen n n');
13.49/5.11	
13.49/5.11	numericEnumFromThenToP xu xv xw = numericEnumFromThenToP2 xu xv xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP0 xu xv xw MyTrue = flip gtEsMyInt xw;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyTrue = flip ltEsMyInt xw;
13.49/5.11	numericEnumFromThenToP1 xu xv xw MyFalse = numericEnumFromThenToP0 xu xv xw otherwise;
13.49/5.11	
13.49/5.11	numericEnumFromThenToP2 xu xv xw = numericEnumFromThenToP1 xu xv xw (gtEsMyInt xu xv);
13.49/5.11	
13.49/5.11	otherwise :: MyBool;
13.49/5.11	otherwise = MyTrue;
13.49/5.11	
13.49/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.49/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.49/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.49/5.11	
13.49/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.49/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.49/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.49/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.49/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.49/5.11	
13.49/5.11	primEqInt :: MyInt  ->  MyInt  ->  MyBool;
13.49/5.11	primEqInt (Main.Pos (Main.Succ x)) (Main.Pos (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Neg (Main.Succ x)) (Main.Neg (Main.Succ y)) = primEqNat x y;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = MyTrue;
13.49/5.11	primEqInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = MyTrue;
13.49/5.11	primEqInt vv vw = MyFalse;
13.49/5.11	
13.49/5.11	primEqNat :: Main.Nat  ->  Main.Nat  ->  MyBool;
13.49/5.11	primEqNat Main.Zero Main.Zero = MyTrue;
13.49/5.11	primEqNat Main.Zero (Main.Succ y) = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) Main.Zero = MyFalse;
13.49/5.11	primEqNat (Main.Succ x) (Main.Succ y) = primEqNat x y;
13.49/5.11	
13.49/5.11	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
13.49/5.11	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
13.49/5.11	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
13.49/5.11	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
13.49/5.11	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
13.49/5.11	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
13.49/5.11	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
13.49/5.11	
13.49/5.11	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
13.49/5.11	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
13.49/5.11	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
13.49/5.11	
13.49/5.11	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
13.49/5.11	primPlusNat Main.Zero Main.Zero = Main.Zero;
13.49/5.11	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
13.49/5.11	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
13.49/5.11	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
13.49/5.11	
13.49/5.11	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
13.49/5.11	psMyInt = primPlusInt;
13.49/5.11	
13.49/5.11	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
13.49/5.11	takeWhile p Nil = takeWhile3 p Nil;
13.49/5.11	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
13.49/5.11	
13.49/5.11	takeWhile0 p x xs MyTrue = Nil;
13.49/5.11	
13.49/5.11	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
13.49/5.11	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
13.49/5.11	
13.49/5.11	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
13.49/5.11	
13.49/5.11	takeWhile3 p Nil = Nil;
13.49/5.11	takeWhile3 wy wz = takeWhile2 wy wz;
13.49/5.11	
13.49/5.11	toEnum0 MyTrue vx = MyTrue;
13.49/5.11	
13.49/5.11	toEnum1 vx = toEnum0 (esEsMyInt vx (Main.Pos (Main.Succ Main.Zero))) vx;
13.49/5.11	
13.49/5.11	toEnum2 MyTrue vy = MyFalse;
13.49/5.11	toEnum2 vz wu = toEnum1 wu;
13.49/5.11	
13.49/5.11	toEnum3 vy = toEnum2 (esEsMyInt vy (Main.Pos Main.Zero)) vy;
13.49/5.11	toEnum3 wv = toEnum1 wv;
13.49/5.11	
13.49/5.11	toEnumMyBool :: MyInt  ->  MyBool;
13.49/5.11	toEnumMyBool vy = toEnum3 vy;
13.49/5.11	toEnumMyBool vx = toEnum1 vx;
13.49/5.11	
13.49/5.11	}
13.49/5.11	
13.49/5.11	----------------------------------------
13.49/5.11	
13.49/5.11	(5) Narrow (COMPLETE)
13.49/5.11	Haskell To QDPs
13.49/5.11	
13.49/5.11	digraph dp_graph {
13.49/5.11	node [outthreshold=100, inthreshold=100];1[label="enumFromThenToMyBool",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
13.49/5.11	3[label="enumFromThenToMyBool xx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
13.49/5.11	4[label="enumFromThenToMyBool xx3 xx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3];
13.49/5.11	5[label="enumFromThenToMyBool xx3 xx4 xx5",fontsize=16,color="black",shape="triangle"];5 -> 6[label="",style="solid", color="black", weight=3];
13.49/5.11	6[label="map toEnumMyBool (enumFromThenToMyInt (fromEnumMyBool xx3) (fromEnumMyBool xx4) (fromEnumMyBool xx5))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
13.49/5.11	7[label="map toEnumMyBool (numericEnumFromThenTo (fromEnumMyBool xx3) (fromEnumMyBool xx4) (fromEnumMyBool xx5))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
13.49/5.11	8[label="map toEnumMyBool (takeWhile (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (numericEnumFromThen (fromEnumMyBool xx3) (fromEnumMyBool xx4)))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
13.49/5.11	9[label="map toEnumMyBool (takeWhile (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
13.49/5.11	10[label="map toEnumMyBool (takeWhile (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (Cons (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
13.49/5.11	11[label="map toEnumMyBool (takeWhile2 (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (Cons (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3)))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
13.49/5.11	12[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13.49/5.11	13[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP2 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5)) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP2 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
13.49/5.11	14[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (gtEsMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (gtEsMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
13.49/5.11	15[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (fsEsOrdering (compareMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (fsEsOrdering (compareMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
13.49/5.11	16[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (compareMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (compareMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
13.49/5.11	17[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool xx4) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool xx4) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="burlywood",shape="box"];404[label="xx4/MyTrue",fontsize=10,color="white",style="solid",shape="box"];17 -> 404[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	404 -> 18[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	405[label="xx4/MyFalse",fontsize=10,color="white",style="solid",shape="box"];17 -> 405[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	405 -> 19[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	18[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool MyTrue) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool MyTrue) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool MyTrue) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool MyTrue) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool MyTrue) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool MyTrue) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
13.49/5.11	19[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (fromEnumMyBool MyFalse) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool MyFalse) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (fromEnumMyBool MyFalse) (fromEnumMyBool xx3))) (psMyInt (msMyInt (fromEnumMyBool MyFalse) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (fromEnumMyBool MyFalse) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (fromEnumMyBool MyFalse) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3];
13.49/5.11	20[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool xx3))) (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="burlywood",shape="box"];406[label="xx3/MyTrue",fontsize=10,color="white",style="solid",shape="box"];20 -> 406[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	406 -> 22[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	407[label="xx3/MyFalse",fontsize=10,color="white",style="solid",shape="box"];20 -> 407[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	407 -> 23[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	21[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool xx3)) LT))) (fromEnumMyBool xx3) (iterate (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool xx3))) (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool xx3)) (fromEnumMyBool xx3))) (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool xx3) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool xx3)) LT)) (fromEnumMyBool xx3)))",fontsize=16,color="burlywood",shape="box"];408[label="xx3/MyTrue",fontsize=10,color="white",style="solid",shape="box"];21 -> 408[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	408 -> 24[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	409[label="xx3/MyFalse",fontsize=10,color="white",style="solid",shape="box"];21 -> 409[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	409 -> 25[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	22[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool MyTrue) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue)) LT))) (fromEnumMyBool MyTrue) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue))) (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue)) (fromEnumMyBool MyTrue))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool MyTrue) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue)) LT)) (fromEnumMyBool MyTrue)))",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3];
13.49/5.11	23[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool MyFalse) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse)) LT))) (fromEnumMyBool MyFalse) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse))) (psMyInt (msMyInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse)) (fromEnumMyBool MyFalse))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnumMyBool MyFalse) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse)) LT)) (fromEnumMyBool MyFalse)))",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3];
13.49/5.11	24[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool MyTrue) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyTrue)) LT))) (fromEnumMyBool MyTrue) (iterate (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool MyTrue))) (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool MyTrue)) (fromEnumMyBool MyTrue))) (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool MyTrue) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyTrue)) LT)) (fromEnumMyBool MyTrue)))",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3];
13.49/5.11	25[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool MyFalse) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyFalse)) LT))) (fromEnumMyBool MyFalse) (iterate (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool MyFalse))) (psMyInt (msMyInt (Pos Zero) (fromEnumMyBool MyFalse)) (fromEnumMyBool MyFalse))) (numericEnumFromThenToP1 (Pos Zero) (fromEnumMyBool MyFalse) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyFalse)) LT)) (fromEnumMyBool MyFalse)))",fontsize=16,color="black",shape="box"];25 -> 29[label="",style="solid", color="black", weight=3];
13.49/5.11	26[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3];
13.49/5.11	27[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos Zero)) LT))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos Zero)) LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];27 -> 31[label="",style="solid", color="black", weight=3];
13.49/5.11	28[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];28 -> 32[label="",style="solid", color="black", weight=3];
13.49/5.11	29[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3];
13.49/5.11	30[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
13.49/5.11	31[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat (Succ Zero) Zero) LT))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat (Succ Zero) Zero) LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
13.49/5.11	32[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
13.49/5.11	33[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering EQ LT))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering EQ LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
13.49/5.11	34[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat Zero Zero) LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering (primCmpNat Zero Zero) LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
13.49/5.11	35[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering GT LT))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not (esEsOrdering GT LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3];
13.49/5.11	36[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering LT LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering LT LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];36 -> 40[label="",style="solid", color="black", weight=3];
13.49/5.11	37[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not MyFalse)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) (not MyFalse) (Pos Zero)))",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3];
13.49/5.11	38[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering EQ LT))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not (esEsOrdering EQ LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3];
13.49/5.11	39[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not MyFalse)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) (not MyFalse) (Pos Zero)))",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3];
13.49/5.11	40[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not MyTrue)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not MyTrue) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3];
13.49/5.11	41[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) MyTrue) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnumMyBool xx5) MyTrue (Pos Zero)))",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
13.49/5.11	42[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not MyFalse)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) (not MyFalse) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
13.49/5.11	43[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) MyTrue) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnumMyBool xx5) MyTrue (Pos Zero)))",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
13.49/5.11	44[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyFalse) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyFalse (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
13.49/5.11	45[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (flip ltEsMyInt (fromEnumMyBool xx5) (Pos Zero)))",fontsize=16,color="black",shape="box"];45 -> 49[label="",style="solid", color="black", weight=3];
13.49/5.11	46[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyTrue) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyTrue (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];46 -> 50[label="",style="solid", color="black", weight=3];
13.49/5.11	47[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (flip ltEsMyInt (fromEnumMyBool xx5) (Pos Zero)))",fontsize=16,color="black",shape="box"];47 -> 51[label="",style="solid", color="black", weight=3];
13.49/5.11	48[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) otherwise) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) otherwise (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];48 -> 52[label="",style="solid", color="black", weight=3];
13.49/5.11	49[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (ltEsMyInt (Pos Zero) (fromEnumMyBool xx5)))",fontsize=16,color="black",shape="box"];49 -> 53[label="",style="solid", color="black", weight=3];
13.49/5.11	50[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (flip ltEsMyInt (fromEnumMyBool xx5) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];50 -> 54[label="",style="solid", color="black", weight=3];
13.49/5.11	51[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (ltEsMyInt (Pos Zero) (fromEnumMyBool xx5)))",fontsize=16,color="black",shape="box"];51 -> 55[label="",style="solid", color="black", weight=3];
13.49/5.11	52[label="map toEnumMyBool (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyTrue) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnumMyBool xx5) MyTrue (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];52 -> 56[label="",style="solid", color="black", weight=3];
13.49/5.11	53[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (fsEsOrdering (compareMyInt (Pos Zero) (fromEnumMyBool xx5)) GT))",fontsize=16,color="black",shape="box"];53 -> 57[label="",style="solid", color="black", weight=3];
13.49/5.11	54[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (ltEsMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)))",fontsize=16,color="black",shape="box"];54 -> 58[label="",style="solid", color="black", weight=3];
13.49/5.11	55[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (fsEsOrdering (compareMyInt (Pos Zero) (fromEnumMyBool xx5)) GT))",fontsize=16,color="black",shape="box"];55 -> 59[label="",style="solid", color="black", weight=3];
13.49/5.11	56[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (flip gtEsMyInt (fromEnumMyBool xx5) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];56 -> 60[label="",style="solid", color="black", weight=3];
13.49/5.11	57[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (compareMyInt (Pos Zero) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="black",shape="box"];57 -> 61[label="",style="solid", color="black", weight=3];
13.49/5.11	58[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (fsEsOrdering (compareMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) GT))",fontsize=16,color="black",shape="box"];58 -> 62[label="",style="solid", color="black", weight=3];
13.49/5.11	59[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (compareMyInt (Pos Zero) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="black",shape="box"];59 -> 63[label="",style="solid", color="black", weight=3];
13.49/5.11	60[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (gtEsMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)))",fontsize=16,color="black",shape="box"];60 -> 64[label="",style="solid", color="black", weight=3];
13.49/5.11	61[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="burlywood",shape="box"];410[label="xx5/MyTrue",fontsize=10,color="white",style="solid",shape="box"];61 -> 410[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	410 -> 65[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	411[label="xx5/MyFalse",fontsize=10,color="white",style="solid",shape="box"];61 -> 411[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	411 -> 66[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	62[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (compareMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3];
13.49/5.11	63[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="burlywood",shape="box"];412[label="xx5/MyTrue",fontsize=10,color="white",style="solid",shape="box"];63 -> 412[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	412 -> 68[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	413[label="xx5/MyFalse",fontsize=10,color="white",style="solid",shape="box"];63 -> 413[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	413 -> 69[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	64[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (fsEsOrdering (compareMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) LT))",fontsize=16,color="black",shape="box"];64 -> 70[label="",style="solid", color="black", weight=3];
13.49/5.11	65[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyTrue)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyTrue)) GT)))",fontsize=16,color="black",shape="box"];65 -> 71[label="",style="solid", color="black", weight=3];
13.49/5.11	66[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyFalse)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyFalse)) GT)))",fontsize=16,color="black",shape="box"];66 -> 72[label="",style="solid", color="black", weight=3];
13.49/5.11	67[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) GT)))",fontsize=16,color="burlywood",shape="box"];414[label="xx5/MyTrue",fontsize=10,color="white",style="solid",shape="box"];67 -> 414[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	414 -> 73[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	415[label="xx5/MyFalse",fontsize=10,color="white",style="solid",shape="box"];67 -> 415[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	415 -> 74[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	68[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyTrue)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyTrue)) GT)))",fontsize=16,color="black",shape="box"];68 -> 75[label="",style="solid", color="black", weight=3];
13.49/5.11	69[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyFalse)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumMyBool MyFalse)) GT)))",fontsize=16,color="black",shape="box"];69 -> 76[label="",style="solid", color="black", weight=3];
13.49/5.11	70[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (compareMyInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) LT)))",fontsize=16,color="black",shape="box"];70 -> 77[label="",style="solid", color="black", weight=3];
13.49/5.11	71[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];71 -> 78[label="",style="solid", color="black", weight=3];
13.49/5.11	72[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];72 -> 79[label="",style="solid", color="black", weight=3];
13.49/5.11	73[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyTrue)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue)) GT)))",fontsize=16,color="black",shape="box"];73 -> 80[label="",style="solid", color="black", weight=3];
13.49/5.11	74[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (fromEnumMyBool MyFalse)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse)) GT)))",fontsize=16,color="black",shape="box"];74 -> 81[label="",style="solid", color="black", weight=3];
13.49/5.11	75[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];75 -> 82[label="",style="solid", color="black", weight=3];
13.49/5.11	76[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];76 -> 83[label="",style="solid", color="black", weight=3];
13.49/5.11	77[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool xx5)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool xx5)) LT)))",fontsize=16,color="burlywood",shape="box"];416[label="xx5/MyTrue",fontsize=10,color="white",style="solid",shape="box"];77 -> 416[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	416 -> 84[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	417[label="xx5/MyFalse",fontsize=10,color="white",style="solid",shape="box"];77 -> 417[label="",style="solid", color="burlywood", weight=9];
13.49/5.11	417 -> 85[label="",style="solid", color="burlywood", weight=3];
13.49/5.11	78[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];78 -> 86[label="",style="solid", color="black", weight=3];
13.49/5.11	79[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];79 -> 87[label="",style="solid", color="black", weight=3];
13.49/5.11	80[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];80 -> 88[label="",style="solid", color="black", weight=3];
13.49/5.11	81[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];81 -> 89[label="",style="solid", color="black", weight=3];
13.49/5.11	82[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];82 -> 90[label="",style="solid", color="black", weight=3];
13.49/5.11	83[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3];
13.49/5.11	84[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool MyTrue)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyTrue)) LT)))",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3];
13.49/5.11	85[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (fromEnumMyBool MyFalse)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (fromEnumMyBool MyFalse)) LT)))",fontsize=16,color="black",shape="box"];85 -> 93[label="",style="solid", color="black", weight=3];
13.49/5.11	86[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not (esEsOrdering LT GT)))",fontsize=16,color="black",shape="box"];86 -> 94[label="",style="solid", color="black", weight=3];
13.49/5.11	87[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];87 -> 95[label="",style="solid", color="black", weight=3];
13.49/5.11	88[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];88 -> 96[label="",style="solid", color="black", weight=3];
13.49/5.11	89[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) Zero) GT)))",fontsize=16,color="black",shape="box"];89 -> 97[label="",style="solid", color="black", weight=3];
13.49/5.11	90[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not (esEsOrdering LT GT)))",fontsize=16,color="black",shape="box"];90 -> 98[label="",style="solid", color="black", weight=3];
13.49/5.11	91[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];91 -> 99[label="",style="solid", color="black", weight=3];
13.49/5.11	92[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];92 -> 100[label="",style="solid", color="black", weight=3];
13.49/5.11	93[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];93 -> 101[label="",style="solid", color="black", weight=3];
13.49/5.11	94[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];94 -> 102[label="",style="solid", color="black", weight=3];
13.49/5.11	95[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];95 -> 103[label="",style="solid", color="black", weight=3];
13.49/5.11	96[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat Zero Zero) GT)))",fontsize=16,color="black",shape="box"];96 -> 104[label="",style="solid", color="black", weight=3];
13.49/5.11	97[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering GT GT)))",fontsize=16,color="black",shape="box"];97 -> 105[label="",style="solid", color="black", weight=3];
13.49/5.11	98[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];98 -> 106[label="",style="solid", color="black", weight=3];
13.49/5.11	99[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];99 -> 107[label="",style="solid", color="black", weight=3];
13.49/5.11	100[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) LT)))",fontsize=16,color="black",shape="box"];100 -> 108[label="",style="solid", color="black", weight=3];
13.49/5.11	101[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) Zero) LT)))",fontsize=16,color="black",shape="box"];101 -> 109[label="",style="solid", color="black", weight=3];
13.49/5.11	102[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];102 -> 110[label="",style="solid", color="black", weight=3];
13.49/5.11	103[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];103 -> 111[label="",style="solid", color="black", weight=3];
13.49/5.11	104[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];104 -> 112[label="",style="solid", color="black", weight=3];
13.49/5.11	105[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not MyTrue))",fontsize=16,color="black",shape="box"];105 -> 113[label="",style="solid", color="black", weight=3];
13.49/5.11	106[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];106 -> 114[label="",style="solid", color="black", weight=3];
13.49/5.11	107[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];107 -> 115[label="",style="solid", color="black", weight=3];
13.49/5.11	108[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat Zero Zero) LT)))",fontsize=16,color="black",shape="box"];108 -> 116[label="",style="solid", color="black", weight=3];
13.49/5.11	109[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering GT LT)))",fontsize=16,color="black",shape="box"];109 -> 117[label="",style="solid", color="black", weight=3];
13.49/5.11	110[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];110 -> 118[label="",style="solid", color="black", weight=3];
13.49/5.11	111[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="green",shape="box"];111 -> 119[label="",style="dashed", color="green", weight=3];
13.49/5.11	111 -> 120[label="",style="dashed", color="green", weight=3];
13.49/5.11	112[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not MyFalse))",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3];
13.49/5.11	113[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) MyFalse)",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3];
13.49/5.11	114[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3];
13.49/5.11	115[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="green",shape="box"];115 -> 124[label="",style="dashed", color="green", weight=3];
13.49/5.11	115 -> 125[label="",style="dashed", color="green", weight=3];
13.49/5.11	116[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not (esEsOrdering EQ LT)))",fontsize=16,color="black",shape="box"];116 -> 126[label="",style="solid", color="black", weight=3];
13.49/5.11	117[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not MyFalse))",fontsize=16,color="black",shape="box"];117 -> 127[label="",style="solid", color="black", weight=3];
13.49/5.11	118[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="green",shape="box"];118 -> 128[label="",style="dashed", color="green", weight=3];
13.49/5.11	118 -> 129[label="",style="dashed", color="green", weight=3];
13.49/5.11	119[label="toEnumMyBool (Pos Zero)",fontsize=16,color="black",shape="triangle"];119 -> 130[label="",style="solid", color="black", weight=3];
13.49/5.11	120[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];120 -> 131[label="",style="solid", color="black", weight=3];
13.49/5.11	121[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];121 -> 132[label="",style="solid", color="black", weight=3];
13.49/5.11	122[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];122 -> 133[label="",style="solid", color="black", weight=3];
13.49/5.11	123[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))))",fontsize=16,color="green",shape="box"];123 -> 134[label="",style="dashed", color="green", weight=3];
13.49/5.11	123 -> 135[label="",style="dashed", color="green", weight=3];
13.49/5.11	124 -> 119[label="",style="dashed", color="red", weight=0];
13.49/5.11	124[label="toEnumMyBool (Pos Zero)",fontsize=16,color="magenta"];125[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];125 -> 136[label="",style="solid", color="black", weight=3];
13.49/5.11	126[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) (not MyFalse))",fontsize=16,color="black",shape="box"];126 -> 137[label="",style="solid", color="black", weight=3];
13.49/5.11	127[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];127 -> 138[label="",style="solid", color="black", weight=3];
13.49/5.11	128 -> 119[label="",style="dashed", color="red", weight=0];
13.49/5.11	128[label="toEnumMyBool (Pos Zero)",fontsize=16,color="magenta"];129[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];129 -> 139[label="",style="solid", color="black", weight=3];
13.49/5.11	130[label="toEnum3 (Pos Zero)",fontsize=16,color="black",shape="box"];130 -> 140[label="",style="solid", color="black", weight=3];
13.49/5.11	131[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3];
13.49/5.11	132[label="map toEnumMyBool (Cons (Pos (Succ Zero)) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3];
13.49/5.11	133[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];133 -> 143[label="",style="solid", color="black", weight=3];
13.49/5.11	134 -> 119[label="",style="dashed", color="red", weight=0];
13.49/5.11	134[label="toEnumMyBool (Pos Zero)",fontsize=16,color="magenta"];135[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];135 -> 144[label="",style="solid", color="black", weight=3];
13.49/5.11	136[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];136 -> 145[label="",style="solid", color="black", weight=3];
13.49/5.11	137[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];137 -> 146[label="",style="solid", color="black", weight=3];
13.49/5.11	138[label="map toEnumMyBool (Cons (Pos (Succ Zero)) (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];138 -> 147[label="",style="solid", color="black", weight=3];
13.49/5.11	139[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3];
13.49/5.11	140[label="toEnum2 (esEsMyInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3];
13.49/5.11	141[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3];
13.49/5.11	142[label="Cons (toEnumMyBool (Pos (Succ Zero))) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="green",shape="box"];142 -> 151[label="",style="dashed", color="green", weight=3];
13.49/5.11	142 -> 152[label="",style="dashed", color="green", weight=3];
13.49/5.11	143[label="map toEnumMyBool Nil",fontsize=16,color="black",shape="triangle"];143 -> 153[label="",style="solid", color="black", weight=3];
13.49/5.11	144[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];144 -> 154[label="",style="solid", color="black", weight=3];
13.49/5.11	145[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];145 -> 155[label="",style="solid", color="black", weight=3];
13.49/5.11	146[label="map toEnumMyBool (Cons (Pos (Succ Zero)) (takeWhile (flip gtEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];146 -> 156[label="",style="solid", color="black", weight=3];
13.49/5.11	147[label="Cons (toEnumMyBool (Pos (Succ Zero))) (map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="green",shape="box"];147 -> 157[label="",style="dashed", color="green", weight=3];
13.49/5.11	147 -> 158[label="",style="dashed", color="green", weight=3];
13.49/5.11	148[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];148 -> 159[label="",style="solid", color="black", weight=3];
13.49/5.11	149[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];149 -> 160[label="",style="solid", color="black", weight=3];
13.49/5.11	150[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (flip ltEsMyInt (Pos Zero) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];150 -> 161[label="",style="solid", color="black", weight=3];
13.49/5.12	151[label="toEnumMyBool (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];151 -> 162[label="",style="solid", color="black", weight=3];
13.49/5.12	152[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];152 -> 163[label="",style="solid", color="black", weight=3];
13.49/5.12	153[label="Nil",fontsize=16,color="green",shape="box"];154[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];154 -> 164[label="",style="solid", color="black", weight=3];
13.49/5.12	155[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (flip ltEsMyInt (Pos Zero) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];155 -> 165[label="",style="solid", color="black", weight=3];
13.49/5.12	156[label="Cons (toEnumMyBool (Pos (Succ Zero))) (map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))))",fontsize=16,color="green",shape="box"];156 -> 166[label="",style="dashed", color="green", weight=3];
13.49/5.12	156 -> 167[label="",style="dashed", color="green", weight=3];
13.49/5.12	157 -> 151[label="",style="dashed", color="red", weight=0];
13.49/5.12	157[label="toEnumMyBool (Pos (Succ Zero))",fontsize=16,color="magenta"];158[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];158 -> 168[label="",style="solid", color="black", weight=3];
13.49/5.12	159[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (flip ltEsMyInt (Pos (Succ Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];159 -> 169[label="",style="solid", color="black", weight=3];
13.49/5.12	160[label="toEnum2 MyTrue (Pos Zero)",fontsize=16,color="black",shape="triangle"];160 -> 170[label="",style="solid", color="black", weight=3];
13.49/5.12	161[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (ltEsMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)))",fontsize=16,color="black",shape="box"];161 -> 171[label="",style="solid", color="black", weight=3];
13.49/5.12	162[label="toEnum3 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];162 -> 172[label="",style="solid", color="black", weight=3];
13.49/5.12	163[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];163 -> 173[label="",style="solid", color="black", weight=3];
13.49/5.12	164[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (flip ltEsMyInt (Pos (Succ Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];164 -> 174[label="",style="solid", color="black", weight=3];
13.49/5.12	165[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (ltEsMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)))",fontsize=16,color="black",shape="box"];165 -> 175[label="",style="solid", color="black", weight=3];
13.49/5.12	166 -> 151[label="",style="dashed", color="red", weight=0];
13.49/5.12	166[label="toEnumMyBool (Pos (Succ Zero))",fontsize=16,color="magenta"];167[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];167 -> 176[label="",style="solid", color="black", weight=3];
13.49/5.12	168[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];168 -> 177[label="",style="solid", color="black", weight=3];
13.49/5.12	169[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (ltEsMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];169 -> 178[label="",style="solid", color="black", weight=3];
13.49/5.12	170[label="MyFalse",fontsize=16,color="green",shape="box"];171[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];171 -> 179[label="",style="solid", color="black", weight=3];
13.49/5.12	172[label="toEnum2 (esEsMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];172 -> 180[label="",style="solid", color="black", weight=3];
13.49/5.12	173[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];173 -> 181[label="",style="solid", color="black", weight=3];
13.49/5.12	174[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (ltEsMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];174 -> 182[label="",style="solid", color="black", weight=3];
13.49/5.12	175[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];175 -> 183[label="",style="solid", color="black", weight=3];
13.49/5.12	176[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];176 -> 184[label="",style="solid", color="black", weight=3];
13.49/5.12	177[label="map toEnumMyBool (takeWhile2 (flip gtEsMyInt (Pos Zero)) (Cons (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];177 -> 185[label="",style="solid", color="black", weight=3];
13.49/5.12	178[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];178 -> 186[label="",style="solid", color="black", weight=3];
13.49/5.12	179[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];179 -> 187[label="",style="solid", color="black", weight=3];
13.49/5.12	180[label="toEnum2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];180 -> 188[label="",style="solid", color="black", weight=3];
13.49/5.12	181[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (flip ltEsMyInt (Pos (Succ Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];181 -> 189[label="",style="solid", color="black", weight=3];
13.49/5.12	182[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];182 -> 190[label="",style="solid", color="black", weight=3];
13.49/5.12	183[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];183 -> 191[label="",style="solid", color="black", weight=3];
13.49/5.12	184[label="map toEnumMyBool (takeWhile2 (flip gtEsMyInt (Pos (Succ Zero))) (Cons (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];184 -> 192[label="",style="solid", color="black", weight=3];
13.49/5.12	185[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (flip gtEsMyInt (Pos Zero) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];185 -> 193[label="",style="solid", color="black", weight=3];
13.49/5.12	186[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];186 -> 194[label="",style="solid", color="black", weight=3];
13.49/5.12	187[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];187 -> 195[label="",style="solid", color="black", weight=3];
13.49/5.12	188[label="toEnum2 MyFalse (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];188 -> 196[label="",style="solid", color="black", weight=3];
13.49/5.12	189[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (ltEsMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];189 -> 197[label="",style="solid", color="black", weight=3];
13.49/5.12	190[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];190 -> 198[label="",style="solid", color="black", weight=3];
13.49/5.12	191[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];191 -> 199[label="",style="solid", color="black", weight=3];
13.49/5.12	192[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (flip gtEsMyInt (Pos (Succ Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];192 -> 200[label="",style="solid", color="black", weight=3];
13.49/5.12	193[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (gtEsMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)))",fontsize=16,color="black",shape="box"];193 -> 201[label="",style="solid", color="black", weight=3];
13.49/5.12	194[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos Zero) (Pos Zero))) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];194 -> 202[label="",style="solid", color="black", weight=3];
13.49/5.12	195[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (msMyInt (Pos Zero) (Pos Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];195 -> 203[label="",style="solid", color="black", weight=3];
13.49/5.12	196[label="toEnum1 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];196 -> 204[label="",style="solid", color="black", weight=3];
13.49/5.12	197[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];197 -> 205[label="",style="solid", color="black", weight=3];
13.49/5.12	198[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];198 -> 206[label="",style="solid", color="black", weight=3];
13.49/5.12	199[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];199 -> 207[label="",style="solid", color="black", weight=3];
13.49/5.12	200[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (gtEsMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];200 -> 208[label="",style="solid", color="black", weight=3];
13.49/5.12	201[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) LT))",fontsize=16,color="black",shape="box"];201 -> 209[label="",style="solid", color="black", weight=3];
13.49/5.12	202[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (msMyInt (Pos Zero) (Pos Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];202 -> 210[label="",style="solid", color="black", weight=3];
13.49/5.12	203[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];203 -> 211[label="",style="solid", color="black", weight=3];
13.49/5.12	204[label="toEnum0 (esEsMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];204 -> 212[label="",style="solid", color="black", weight=3];
13.49/5.12	205[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];205 -> 213[label="",style="solid", color="black", weight=3];
13.49/5.12	206[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];206 -> 214[label="",style="solid", color="black", weight=3];
13.49/5.12	207[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];207 -> 215[label="",style="solid", color="black", weight=3];
13.49/5.12	208[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) LT))",fontsize=16,color="black",shape="box"];208 -> 216[label="",style="solid", color="black", weight=3];
13.49/5.12	209[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];209 -> 217[label="",style="solid", color="black", weight=3];
13.49/5.12	210[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];210 -> 218[label="",style="solid", color="black", weight=3];
13.49/5.12	211[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];211 -> 219[label="",style="solid", color="black", weight=3];
13.49/5.12	212[label="toEnum0 (primEqInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 220[label="",style="solid", color="black", weight=3];
13.49/5.12	213[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];213 -> 221[label="",style="solid", color="black", weight=3];
13.49/5.12	214[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];214 -> 222[label="",style="solid", color="black", weight=3];
13.49/5.12	215[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];215 -> 223[label="",style="solid", color="black", weight=3];
13.49/5.12	216[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];216 -> 224[label="",style="solid", color="black", weight=3];
13.49/5.12	217[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];217 -> 225[label="",style="solid", color="black", weight=3];
13.49/5.12	218[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];218 -> 226[label="",style="solid", color="black", weight=3];
13.49/5.12	219[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];219 -> 227[label="",style="solid", color="black", weight=3];
13.49/5.12	220[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];220 -> 228[label="",style="solid", color="black", weight=3];
13.49/5.12	221[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];221 -> 229[label="",style="solid", color="black", weight=3];
13.49/5.12	222[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];222 -> 230[label="",style="solid", color="black", weight=3];
13.49/5.12	223[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];223 -> 231[label="",style="solid", color="black", weight=3];
13.49/5.12	224[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (psMyInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];224 -> 232[label="",style="solid", color="black", weight=3];
13.49/5.12	225[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];225 -> 233[label="",style="solid", color="black", weight=3];
13.49/5.12	226[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="triangle"];226 -> 234[label="",style="solid", color="black", weight=3];
13.49/5.12	227[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];227 -> 235[label="",style="solid", color="black", weight=3];
13.49/5.12	228[label="toEnum0 MyTrue (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];228 -> 236[label="",style="solid", color="black", weight=3];
13.49/5.12	229[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];229 -> 237[label="",style="solid", color="black", weight=3];
13.49/5.12	230[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];230 -> 238[label="",style="solid", color="black", weight=3];
13.49/5.12	231[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];231 -> 239[label="",style="solid", color="black", weight=3];
13.49/5.12	232[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (msMyInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];232 -> 240[label="",style="solid", color="black", weight=3];
13.49/5.12	233[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];233 -> 241[label="",style="solid", color="black", weight=3];
13.49/5.12	234[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];234 -> 242[label="",style="solid", color="black", weight=3];
13.49/5.12	235[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];235 -> 243[label="",style="solid", color="black", weight=3];
13.49/5.12	236[label="MyTrue",fontsize=16,color="green",shape="box"];237[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat (Succ Zero) (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];237 -> 244[label="",style="solid", color="black", weight=3];
13.49/5.12	238[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];238 -> 245[label="",style="solid", color="black", weight=3];
13.49/5.12	239[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];239 -> 246[label="",style="solid", color="black", weight=3];
13.49/5.12	240[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];240 -> 247[label="",style="solid", color="black", weight=3];
13.49/5.12	241[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];241 -> 248[label="",style="solid", color="black", weight=3];
13.49/5.12	242[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];242 -> 249[label="",style="solid", color="black", weight=3];
13.49/5.12	243[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];243 -> 250[label="",style="solid", color="black", weight=3];
13.49/5.12	244[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];244 -> 251[label="",style="solid", color="black", weight=3];
13.49/5.12	245[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];245 -> 252[label="",style="solid", color="black", weight=3];
13.49/5.12	246[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) Zero) GT)))",fontsize=16,color="black",shape="box"];246 -> 253[label="",style="solid", color="black", weight=3];
13.49/5.12	247[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];247 -> 254[label="",style="solid", color="black", weight=3];
13.49/5.12	248[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];248 -> 255[label="",style="solid", color="black", weight=3];
13.49/5.12	249[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];249 -> 256[label="",style="solid", color="black", weight=3];
13.49/5.12	250 -> 257[label="",style="dashed", color="red", weight=0];
13.49/5.12	250[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not MyFalse))",fontsize=16,color="magenta"];250 -> 258[label="",style="dashed", color="magenta", weight=3];
13.49/5.12	251[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="triangle"];251 -> 259[label="",style="solid", color="black", weight=3];
13.49/5.12	252[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];252 -> 260[label="",style="solid", color="black", weight=3];
13.49/5.12	253[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering GT GT)))",fontsize=16,color="black",shape="box"];253 -> 261[label="",style="solid", color="black", weight=3];
13.49/5.12	254[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];254 -> 262[label="",style="solid", color="black", weight=3];
13.49/5.12	255[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (esEsOrdering (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];255 -> 263[label="",style="solid", color="black", weight=3];
13.49/5.12	256[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering LT GT)))",fontsize=16,color="black",shape="box"];256 -> 264[label="",style="solid", color="black", weight=3];
13.49/5.12	258[label="toEnumMyBool",fontsize=16,color="grey",shape="box"];258 -> 265[label="",style="dashed", color="grey", weight=3];
13.49/5.12	257[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="triangle"];257 -> 266[label="",style="solid", color="black", weight=3];
13.49/5.12	259[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (primPlusNat Zero (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];259 -> 267[label="",style="solid", color="black", weight=3];
13.49/5.12	260[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat Zero Zero) GT)))",fontsize=16,color="black",shape="box"];260 -> 268[label="",style="solid", color="black", weight=3];
13.49/5.12	261[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not MyTrue))",fontsize=16,color="black",shape="box"];261 -> 269[label="",style="solid", color="black", weight=3];
13.49/5.12	262[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (esEsOrdering (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];262 -> 270[label="",style="solid", color="black", weight=3];
13.49/5.12	263[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (esEsOrdering (primCmpInt (primMinusNat Zero Zero) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];263 -> 271[label="",style="solid", color="black", weight=3];
13.49/5.12	264[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];264 -> 272[label="",style="solid", color="black", weight=3];
13.49/5.12	265[label="toEnumMyBool xx8",fontsize=16,color="black",shape="triangle"];265 -> 273[label="",style="solid", color="black", weight=3];
13.49/5.12	266[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];266 -> 274[label="",style="solid", color="black", weight=3];
13.49/5.12	267[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];267 -> 275[label="",style="solid", color="black", weight=3];
13.49/5.12	268[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];268 -> 276[label="",style="solid", color="black", weight=3];
13.49/5.12	269[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) MyFalse)",fontsize=16,color="black",shape="box"];269 -> 277[label="",style="solid", color="black", weight=3];
13.49/5.12	270[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (esEsOrdering (primCmpInt (primMinusNat Zero Zero) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];270 -> 278[label="",style="solid", color="black", weight=3];
13.49/5.12	271[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];271 -> 279[label="",style="solid", color="black", weight=3];
13.49/5.12	272[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];272 -> 280[label="",style="solid", color="black", weight=3];
13.49/5.12	273[label="toEnum3 xx8",fontsize=16,color="black",shape="box"];273 -> 281[label="",style="solid", color="black", weight=3];
13.49/5.12	274[label="map xx7 (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];274 -> 282[label="",style="solid", color="black", weight=3];
13.49/5.12	275[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat (Succ Zero) (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];275 -> 283[label="",style="solid", color="black", weight=3];
13.49/5.12	276[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not MyFalse))",fontsize=16,color="black",shape="box"];276 -> 284[label="",style="solid", color="black", weight=3];
13.49/5.12	277[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];277 -> 285[label="",style="solid", color="black", weight=3];
13.49/5.12	278[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ Zero))) LT)))",fontsize=16,color="black",shape="box"];278 -> 286[label="",style="solid", color="black", weight=3];
13.49/5.12	279[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (esEsOrdering EQ LT)))",fontsize=16,color="black",shape="box"];279 -> 287[label="",style="solid", color="black", weight=3];
13.49/5.12	280[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];280 -> 288[label="",style="solid", color="black", weight=3];
13.49/5.12	281[label="toEnum2 (esEsMyInt xx8 (Pos Zero)) xx8",fontsize=16,color="black",shape="box"];281 -> 289[label="",style="solid", color="black", weight=3];
13.49/5.12	282[label="Cons (xx7 (Pos Zero)) (map xx7 (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="green",shape="box"];282 -> 290[label="",style="dashed", color="green", weight=3];
13.49/5.12	282 -> 291[label="",style="dashed", color="green", weight=3];
13.49/5.12	283[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (esEsOrdering (primCmpNat Zero Zero) GT)))",fontsize=16,color="black",shape="box"];283 -> 292[label="",style="solid", color="black", weight=3];
13.49/5.12	284[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];284 -> 293[label="",style="solid", color="black", weight=3];
13.49/5.12	285[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];285 -> 294[label="",style="solid", color="black", weight=3];
13.49/5.12	286[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (esEsOrdering (primCmpNat Zero (Succ Zero)) LT)))",fontsize=16,color="black",shape="box"];286 -> 295[label="",style="solid", color="black", weight=3];
13.49/5.12	287[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not MyFalse))",fontsize=16,color="black",shape="box"];287 -> 296[label="",style="solid", color="black", weight=3];
13.49/5.12	288[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="green",shape="box"];288 -> 297[label="",style="dashed", color="green", weight=3];
13.49/5.12	288 -> 298[label="",style="dashed", color="green", weight=3];
13.49/5.12	289[label="toEnum2 (primEqInt xx8 (Pos Zero)) xx8",fontsize=16,color="burlywood",shape="box"];418[label="xx8/Pos xx80",fontsize=10,color="white",style="solid",shape="box"];289 -> 418[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	418 -> 299[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	419[label="xx8/Neg xx80",fontsize=10,color="white",style="solid",shape="box"];289 -> 419[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	419 -> 300[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	290[label="xx7 (Pos Zero)",fontsize=16,color="green",shape="box"];290 -> 301[label="",style="dashed", color="green", weight=3];
13.49/5.12	291[label="map xx7 (takeWhile (flip ltEsMyInt (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];291 -> 302[label="",style="solid", color="black", weight=3];
13.49/5.12	292[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];292 -> 303[label="",style="solid", color="black", weight=3];
13.49/5.12	293[label="map toEnumMyBool (Cons (Pos (Succ Zero)) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];293 -> 304[label="",style="solid", color="black", weight=3];
13.49/5.12	294 -> 143[label="",style="dashed", color="red", weight=0];
13.49/5.12	294[label="map toEnumMyBool Nil",fontsize=16,color="magenta"];295[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (esEsOrdering LT LT)))",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3];
13.49/5.12	296[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3];
13.49/5.12	297 -> 265[label="",style="dashed", color="red", weight=0];
13.49/5.12	297[label="toEnumMyBool (Pos Zero)",fontsize=16,color="magenta"];297 -> 307[label="",style="dashed", color="magenta", weight=3];
13.49/5.12	298[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];298 -> 308[label="",style="solid", color="black", weight=3];
13.49/5.12	299[label="toEnum2 (primEqInt (Pos xx80) (Pos Zero)) (Pos xx80)",fontsize=16,color="burlywood",shape="box"];420[label="xx80/Succ xx800",fontsize=10,color="white",style="solid",shape="box"];299 -> 420[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	420 -> 309[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	421[label="xx80/Zero",fontsize=10,color="white",style="solid",shape="box"];299 -> 421[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	421 -> 310[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	300[label="toEnum2 (primEqInt (Neg xx80) (Pos Zero)) (Neg xx80)",fontsize=16,color="burlywood",shape="box"];422[label="xx80/Succ xx800",fontsize=10,color="white",style="solid",shape="box"];300 -> 422[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	422 -> 311[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	423[label="xx80/Zero",fontsize=10,color="white",style="solid",shape="box"];300 -> 423[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	423 -> 312[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	301[label="Pos Zero",fontsize=16,color="green",shape="box"];302[label="map xx7 (takeWhile (flip ltEsMyInt (Pos Zero)) (Cons (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))))",fontsize=16,color="black",shape="box"];302 -> 313[label="",style="solid", color="black", weight=3];
13.49/5.12	303[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not MyFalse))",fontsize=16,color="black",shape="box"];303 -> 314[label="",style="solid", color="black", weight=3];
13.49/5.12	304[label="Cons (toEnumMyBool (Pos (Succ Zero))) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))",fontsize=16,color="green",shape="box"];304 -> 315[label="",style="dashed", color="green", weight=3];
13.49/5.12	304 -> 316[label="",style="dashed", color="green", weight=3];
13.49/5.12	305[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not MyTrue))",fontsize=16,color="black",shape="box"];305 -> 317[label="",style="solid", color="black", weight=3];
13.49/5.12	306[label="map toEnumMyBool (Cons (Pos Zero) (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];306 -> 318[label="",style="solid", color="black", weight=3];
13.49/5.12	307[label="Pos Zero",fontsize=16,color="green",shape="box"];308[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))))",fontsize=16,color="black",shape="box"];308 -> 319[label="",style="solid", color="black", weight=3];
13.49/5.12	309[label="toEnum2 (primEqInt (Pos (Succ xx800)) (Pos Zero)) (Pos (Succ xx800))",fontsize=16,color="black",shape="box"];309 -> 320[label="",style="solid", color="black", weight=3];
13.49/5.12	310[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];310 -> 321[label="",style="solid", color="black", weight=3];
13.49/5.12	311[label="toEnum2 (primEqInt (Neg (Succ xx800)) (Pos Zero)) (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];311 -> 322[label="",style="solid", color="black", weight=3];
13.49/5.12	312[label="toEnum2 (primEqInt (Neg Zero) (Pos Zero)) (Neg Zero)",fontsize=16,color="black",shape="box"];312 -> 323[label="",style="solid", color="black", weight=3];
13.49/5.12	313[label="map xx7 (takeWhile2 (flip ltEsMyInt (Pos Zero)) (Cons (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))))",fontsize=16,color="black",shape="box"];313 -> 324[label="",style="solid", color="black", weight=3];
13.49/5.12	314[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];314 -> 325[label="",style="solid", color="black", weight=3];
13.49/5.12	315 -> 265[label="",style="dashed", color="red", weight=0];
13.49/5.12	315[label="toEnumMyBool (Pos (Succ Zero))",fontsize=16,color="magenta"];315 -> 326[label="",style="dashed", color="magenta", weight=3];
13.49/5.12	316[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];316 -> 327[label="",style="solid", color="black", weight=3];
13.49/5.12	317[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) MyFalse)",fontsize=16,color="black",shape="box"];317 -> 328[label="",style="solid", color="black", weight=3];
13.49/5.12	318[label="Cons (toEnumMyBool (Pos Zero)) (map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))",fontsize=16,color="green",shape="box"];318 -> 329[label="",style="dashed", color="green", weight=3];
13.49/5.12	318 -> 330[label="",style="dashed", color="green", weight=3];
13.49/5.12	319[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))))",fontsize=16,color="black",shape="box"];319 -> 331[label="",style="solid", color="black", weight=3];
13.49/5.12	320[label="toEnum2 MyFalse (Pos (Succ xx800))",fontsize=16,color="black",shape="box"];320 -> 332[label="",style="solid", color="black", weight=3];
13.49/5.12	321 -> 160[label="",style="dashed", color="red", weight=0];
13.49/5.12	321[label="toEnum2 MyTrue (Pos Zero)",fontsize=16,color="magenta"];322[label="toEnum2 MyFalse (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];322 -> 333[label="",style="solid", color="black", weight=3];
13.49/5.12	323[label="toEnum2 MyTrue (Neg Zero)",fontsize=16,color="black",shape="box"];323 -> 334[label="",style="solid", color="black", weight=3];
13.49/5.12	324[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip ltEsMyInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];324 -> 335[label="",style="solid", color="black", weight=3];
13.49/5.12	325[label="map toEnumMyBool (Cons (Pos (Succ Zero)) (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];325 -> 336[label="",style="solid", color="black", weight=3];
13.49/5.12	326[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];327[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];327 -> 337[label="",style="solid", color="black", weight=3];
13.49/5.12	328[label="map toEnumMyBool (takeWhile0 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) otherwise)",fontsize=16,color="black",shape="box"];328 -> 338[label="",style="solid", color="black", weight=3];
13.49/5.12	329 -> 265[label="",style="dashed", color="red", weight=0];
13.49/5.12	329[label="toEnumMyBool (Pos Zero)",fontsize=16,color="magenta"];329 -> 339[label="",style="dashed", color="magenta", weight=3];
13.49/5.12	330[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];330 -> 340[label="",style="solid", color="black", weight=3];
13.49/5.12	331[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip ltEsMyInt (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3];
13.49/5.12	332[label="toEnum1 (Pos (Succ xx800))",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3];
13.49/5.12	333[label="toEnum1 (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3];
13.49/5.12	334[label="MyFalse",fontsize=16,color="green",shape="box"];335[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (ltEsMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero)))",fontsize=16,color="black",shape="box"];335 -> 344[label="",style="solid", color="black", weight=3];
13.49/5.12	336[label="Cons (toEnumMyBool (Pos (Succ Zero))) (map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))",fontsize=16,color="green",shape="box"];336 -> 345[label="",style="dashed", color="green", weight=3];
13.49/5.12	336 -> 346[label="",style="dashed", color="green", weight=3];
13.49/5.12	337[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];337 -> 347[label="",style="solid", color="black", weight=3];
13.49/5.12	338[label="map toEnumMyBool (takeWhile0 (flip gtEsMyInt (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) MyTrue)",fontsize=16,color="black",shape="box"];338 -> 348[label="",style="solid", color="black", weight=3];
13.49/5.12	339[label="Pos Zero",fontsize=16,color="green",shape="box"];340[label="map toEnumMyBool (takeWhile (flip gtEsMyInt (Pos Zero)) (Cons (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];340 -> 349[label="",style="solid", color="black", weight=3];
13.49/5.12	341[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (ltEsMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];341 -> 350[label="",style="solid", color="black", weight=3];
13.49/5.12	342[label="toEnum0 (esEsMyInt (Pos (Succ xx800)) (Pos (Succ Zero))) (Pos (Succ xx800))",fontsize=16,color="black",shape="box"];342 -> 351[label="",style="solid", color="black", weight=3];
13.49/5.12	343[label="toEnum0 (esEsMyInt (Neg (Succ xx800)) (Pos (Succ Zero))) (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];343 -> 352[label="",style="solid", color="black", weight=3];
13.49/5.12	344[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (fsEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];344 -> 353[label="",style="solid", color="black", weight=3];
13.49/5.12	345 -> 265[label="",style="dashed", color="red", weight=0];
13.49/5.12	345[label="toEnumMyBool (Pos (Succ Zero))",fontsize=16,color="magenta"];345 -> 354[label="",style="dashed", color="magenta", weight=3];
13.49/5.12	346[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];346 -> 355[label="",style="solid", color="black", weight=3];
13.49/5.12	347[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (flip ltEsMyInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];347 -> 356[label="",style="solid", color="black", weight=3];
13.49/5.12	348 -> 143[label="",style="dashed", color="red", weight=0];
13.49/5.12	348[label="map toEnumMyBool Nil",fontsize=16,color="magenta"];349[label="map toEnumMyBool (takeWhile2 (flip gtEsMyInt (Pos Zero)) (Cons (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))))",fontsize=16,color="black",shape="box"];349 -> 357[label="",style="solid", color="black", weight=3];
13.49/5.12	350[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (fsEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];350 -> 358[label="",style="solid", color="black", weight=3];
13.49/5.12	351[label="toEnum0 (primEqInt (Pos (Succ xx800)) (Pos (Succ Zero))) (Pos (Succ xx800))",fontsize=16,color="black",shape="box"];351 -> 359[label="",style="solid", color="black", weight=3];
13.49/5.12	352[label="toEnum0 (primEqInt (Neg (Succ xx800)) (Pos (Succ Zero))) (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];352 -> 360[label="",style="solid", color="black", weight=3];
13.49/5.12	353[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];353 -> 361[label="",style="solid", color="black", weight=3];
13.49/5.12	354[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];355[label="map toEnumMyBool (takeWhile (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];355 -> 362[label="",style="solid", color="black", weight=3];
13.49/5.12	356[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (ltEsMyInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];356 -> 363[label="",style="solid", color="black", weight=3];
13.49/5.12	357[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (flip gtEsMyInt (Pos Zero) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];357 -> 364[label="",style="solid", color="black", weight=3];
13.49/5.12	358[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];358 -> 365[label="",style="solid", color="black", weight=3];
13.49/5.12	359[label="toEnum0 (primEqNat xx800 Zero) (Pos (Succ xx800))",fontsize=16,color="burlywood",shape="box"];424[label="xx800/Succ xx8000",fontsize=10,color="white",style="solid",shape="box"];359 -> 424[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	424 -> 366[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	425[label="xx800/Zero",fontsize=10,color="white",style="solid",shape="box"];359 -> 425[label="",style="solid", color="burlywood", weight=9];
13.49/5.12	425 -> 367[label="",style="solid", color="burlywood", weight=3];
13.49/5.12	360[label="toEnum0 MyFalse (Neg (Succ xx800))",fontsize=16,color="black",shape="box"];360 -> 368[label="",style="solid", color="black", weight=3];
13.49/5.12	361[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];361 -> 369[label="",style="solid", color="black", weight=3];
13.49/5.12	362[label="map toEnumMyBool (takeWhile2 (flip ltEsMyInt (Pos (Succ Zero))) (Cons (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];362 -> 370[label="",style="solid", color="black", weight=3];
13.49/5.12	363[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];363 -> 371[label="",style="solid", color="black", weight=3];
13.49/5.12	364[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (gtEsMyInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero)))",fontsize=16,color="black",shape="box"];364 -> 372[label="",style="solid", color="black", weight=3];
13.49/5.12	365 -> 226[label="",style="dashed", color="red", weight=0];
13.49/5.12	365[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))) GT)))",fontsize=16,color="magenta"];366[label="toEnum0 (primEqNat (Succ xx8000) Zero) (Pos (Succ (Succ xx8000)))",fontsize=16,color="black",shape="box"];366 -> 373[label="",style="solid", color="black", weight=3];
13.49/5.12	367[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];367 -> 374[label="",style="solid", color="black", weight=3];
13.49/5.12	368[label="error []",fontsize=16,color="red",shape="box"];369[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];369 -> 375[label="",style="solid", color="black", weight=3];
13.49/5.12	370[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (flip ltEsMyInt (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];370 -> 376[label="",style="solid", color="black", weight=3];
13.49/5.12	371[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];371 -> 377[label="",style="solid", color="black", weight=3];
13.49/5.12	372[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (fsEsOrdering (compareMyInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero)) LT))",fontsize=16,color="black",shape="box"];372 -> 378[label="",style="solid", color="black", weight=3];
13.49/5.12	373[label="toEnum0 MyFalse (Pos (Succ (Succ xx8000)))",fontsize=16,color="black",shape="box"];373 -> 379[label="",style="solid", color="black", weight=3];
13.49/5.12	374 -> 228[label="",style="dashed", color="red", weight=0];
13.49/5.12	374[label="toEnum0 MyTrue (Pos (Succ Zero))",fontsize=16,color="magenta"];375[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)))",fontsize=16,color="black",shape="box"];375 -> 380[label="",style="solid", color="black", weight=3];
13.49/5.12	376[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (ltEsMyInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];376 -> 381[label="",style="solid", color="black", weight=3];
13.49/5.12	377[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];377 -> 382[label="",style="solid", color="black", weight=3];
13.49/5.12	378[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (esEsOrdering (compareMyInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];378 -> 383[label="",style="solid", color="black", weight=3];
13.49/5.12	379[label="error []",fontsize=16,color="red",shape="box"];380[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (esEsOrdering EQ GT)))",fontsize=16,color="black",shape="box"];380 -> 384[label="",style="solid", color="black", weight=3];
13.49/5.12	381[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) GT))",fontsize=16,color="black",shape="box"];381 -> 385[label="",style="solid", color="black", weight=3];
13.49/5.12	382[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos (primPlusNat (Succ Zero) (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];382 -> 386[label="",style="solid", color="black", weight=3];
13.49/5.12	383[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (esEsOrdering (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];383 -> 387[label="",style="solid", color="black", weight=3];
13.49/5.12	384 -> 257[label="",style="dashed", color="red", weight=0];
13.49/5.12	384[label="map xx7 (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not MyFalse))",fontsize=16,color="magenta"];385[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];385 -> 388[label="",style="solid", color="black", weight=3];
13.49/5.12	386[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (esEsOrdering (primCmpInt (Pos (Succ (Succ (primPlusNat Zero Zero)))) (Pos (Succ Zero))) GT)))",fontsize=16,color="black",shape="box"];386 -> 389[label="",style="solid", color="black", weight=3];
13.49/5.12	387[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (primMinusNat Zero (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero (Succ Zero)))) (not (esEsOrdering (primCmpInt (primMinusNat Zero (Succ Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];387 -> 390[label="",style="solid", color="black", weight=3];
13.49/5.12	388 -> 251[label="",style="dashed", color="red", weight=0];
13.49/5.12	388[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) GT)))",fontsize=16,color="magenta"];389[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (esEsOrdering (primCmpNat (Succ (Succ (primPlusNat Zero Zero))) (Succ Zero)) GT)))",fontsize=16,color="black",shape="box"];389 -> 391[label="",style="solid", color="black", weight=3];
13.49/5.12	390[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (esEsOrdering (primCmpInt (Neg (Succ Zero)) (Pos Zero)) LT)))",fontsize=16,color="black",shape="box"];390 -> 392[label="",style="solid", color="black", weight=3];
13.49/5.12	391[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (esEsOrdering (primCmpNat (Succ (primPlusNat Zero Zero)) Zero) GT)))",fontsize=16,color="black",shape="box"];391 -> 393[label="",style="solid", color="black", weight=3];
13.49/5.12	392[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (esEsOrdering LT LT)))",fontsize=16,color="black",shape="box"];392 -> 394[label="",style="solid", color="black", weight=3];
13.49/5.12	393[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (esEsOrdering GT GT)))",fontsize=16,color="black",shape="box"];393 -> 395[label="",style="solid", color="black", weight=3];
13.49/5.12	394[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not MyTrue))",fontsize=16,color="black",shape="box"];394 -> 396[label="",style="solid", color="black", weight=3];
13.49/5.12	395[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not MyTrue))",fontsize=16,color="black",shape="box"];395 -> 397[label="",style="solid", color="black", weight=3];
13.49/5.12	396[label="map toEnumMyBool (takeWhile1 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) MyFalse)",fontsize=16,color="black",shape="box"];396 -> 398[label="",style="solid", color="black", weight=3];
13.49/5.12	397[label="map toEnumMyBool (takeWhile1 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) MyFalse)",fontsize=16,color="black",shape="box"];397 -> 399[label="",style="solid", color="black", weight=3];
13.49/5.12	398[label="map toEnumMyBool (takeWhile0 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];398 -> 400[label="",style="solid", color="black", weight=3];
13.49/5.12	399[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) otherwise)",fontsize=16,color="black",shape="box"];399 -> 401[label="",style="solid", color="black", weight=3];
13.49/5.12	400[label="map toEnumMyBool (takeWhile0 (flip gtEsMyInt (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) MyTrue)",fontsize=16,color="black",shape="box"];400 -> 402[label="",style="solid", color="black", weight=3];
13.49/5.12	401[label="map toEnumMyBool (takeWhile0 (flip ltEsMyInt (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) MyTrue)",fontsize=16,color="black",shape="box"];401 -> 403[label="",style="solid", color="black", weight=3];
13.49/5.12	402 -> 143[label="",style="dashed", color="red", weight=0];
13.49/5.12	402[label="map toEnumMyBool Nil",fontsize=16,color="magenta"];403 -> 143[label="",style="dashed", color="red", weight=0];
13.49/5.12	403[label="map toEnumMyBool Nil",fontsize=16,color="magenta"];}
13.49/5.12	
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(6)
13.49/5.12	Complex Obligation (AND)
13.49/5.12	
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(7)
13.49/5.12	Obligation:
13.49/5.12	Q DP problem:
13.49/5.12	P is empty.
13.49/5.12	R is empty.
13.49/5.12	Q is empty.
13.49/5.12	We have to consider all (P,Q,R)-chains.
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(8) PisEmptyProof (EQUIVALENT)
13.49/5.12	The TRS P is empty. Hence, there is no (P,Q,R) chain.
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(9)
13.49/5.12	YES
13.49/5.12	
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(10)
13.49/5.12	Obligation:
13.49/5.12	Q DP problem:
13.49/5.12	The TRS P consists of the following rules:
13.49/5.12	
13.49/5.12	   new_map1([]) -> new_map1([])
13.49/5.12	
13.49/5.12	R is empty.
13.49/5.12	Q is empty.
13.49/5.12	We have to consider all (P,Q,R)-chains.
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(11) NonTerminationLoopProof (COMPLETE)
13.49/5.12	We used the non-termination processor [FROCOS05] to show that the DP problem is infinite.
13.49/5.12	Found a loop by semiunifying a rule from P directly.
13.49/5.12	
13.49/5.12	s = new_map1([]) evaluates to  t =new_map1([])
13.49/5.12	
13.49/5.12	Thus s starts an infinite chain as s semiunifies with t with the following substitutions:
13.49/5.12	* Matcher: [ ]
13.49/5.12	* Semiunifier: [ ]
13.49/5.12	
13.49/5.12	--------------------------------------------------------------------------------
13.49/5.12	Rewriting sequence
13.49/5.12	
13.49/5.12	The DP semiunifies directly so there is only one rewrite step from new_map1([]) to new_map1([]).
13.49/5.12	
13.49/5.12	
13.49/5.12	
13.49/5.12	
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(12)
13.49/5.12	NO
13.49/5.12	
13.49/5.12	----------------------------------------
13.49/5.12	
13.49/5.12	(13)
13.49/5.12	Obligation:
13.49/5.12	Q DP problem:
13.49/5.12	The TRS P consists of the following rules:
13.49/5.12	
13.49/5.12	   new_map0([]) -> new_map0([])
13.49/5.12	
13.49/5.12	R is empty.
13.49/5.12	Q is empty.
13.49/5.12	We have to consider all (P,Q,R)-chains.
13.76/5.19	EOF