194.32/171.68	MAYBE
196.91/172.40	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
196.91/172.40	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
196.91/172.40	
196.91/172.40	
196.91/172.40	H-Termination with start terms of the given HASKELL could not be shown:
196.91/172.40	
196.91/172.40	(0) HASKELL
196.91/172.40	(1) LR [EQUIVALENT, 0 ms]
196.91/172.40	(2) HASKELL
196.91/172.40	(3) CR [EQUIVALENT, 0 ms]
196.91/172.40	(4) HASKELL
196.91/172.40	(5) IFR [EQUIVALENT, 0 ms]
196.91/172.40	(6) HASKELL
196.91/172.40	(7) BR [EQUIVALENT, 0 ms]
196.91/172.40	(8) HASKELL
196.91/172.40	(9) COR [EQUIVALENT, 0 ms]
196.91/172.40	(10) HASKELL
196.91/172.40	(11) LetRed [EQUIVALENT, 0 ms]
196.91/172.40	(12) HASKELL
196.91/172.40	(13) NumRed [SOUND, 37 ms]
196.91/172.40	(14) HASKELL
196.91/172.40	
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(0)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(1) LR (EQUIVALENT)
196.91/172.40	Lambda Reductions:
196.91/172.40	The following Lambda expression
196.91/172.40	"\ab->(a,b)"
196.91/172.40	is transformed to
196.91/172.40	"zip0 a b = (a,b);
196.91/172.40	"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(2)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(3) CR (EQUIVALENT)
196.91/172.40	Case Reductions:
196.91/172.40	The following Case expression
196.91/172.40	"case loc of {
196.91/172.40	[]  -> id;
196.91/172.40	_  -> (showString ('\10' : 'A' : 'c' : 't' : 'i' : 'o' : 'n' : ':' : '\32' : [])) . showString loc}
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showsPrec0 loc [] = id;
196.91/172.40	showsPrec0 loc _ = (showString ('\10' : 'A' : 'c' : 't' : 'i' : 'o' : 'n' : ':' : '\32' : [])) . showString loc;
196.91/172.40	"
196.91/172.40	The following Case expression
196.91/172.40	"case descr of {
196.91/172.40	[]  -> id;
196.91/172.40	_  -> (showString ('\10' : 'R' : 'e' : 'a' : 's' : 'o' : 'n' : ':' : '\32' : [])) . showString descr}
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showsPrec1 descr [] = id;
196.91/172.40	showsPrec1 descr _ = (showString ('\10' : 'R' : 'e' : 'a' : 's' : 'o' : 'n' : ':' : '\32' : [])) . showString descr;
196.91/172.40	"
196.91/172.40	The following Case expression
196.91/172.40	"case mbFile of {
196.91/172.40	Nothing  -> id;
196.91/172.40	Just name  -> (showString ('\10' : 'R' : 'e' : 's' : 'o' : 'u' : 'r' : 'c' : 'e' : ':' : '\32' : [])) . showString name}
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showsPrec2 Nothing = id;
196.91/172.40	showsPrec2 (Just name) = (showString ('\10' : 'R' : 'e' : 's' : 'o' : 'u' : 'r' : 'c' : 'e' : ':' : '\32' : [])) . showString name;
196.91/172.40	"
196.91/172.40	The following Case expression
196.91/172.40	"case x of {
196.91/172.40	IOError_UserError  -> 'U' : 'E' : [];
196.91/172.40	IOError_IllegalError  -> 'I' : 'O' : [];
196.91/172.40	IOError_PermDenied  -> 'P' : 'D' : [];
196.91/172.40	IOError_AlreadyExists  -> 'A' : 'E' : [];
196.91/172.40	IOError_AlreadyInUse  -> 'R' : 'B' : [];
196.91/172.40	IOError_DoesNotExist  -> 'D' : 'N' : 'E' : [];
196.91/172.40	IOError_FullError  -> 'R' : 'E' : [];
196.91/172.40	IOError_EOF  -> 'E' : 'O' : 'F' : [];
196.91/172.40	IOError_WriteError  -> 'W' : 'E' : []}
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"show0 IOError_UserError = 'U' : 'E' : [];
196.91/172.40	show0 IOError_IllegalError = 'I' : 'O' : [];
196.91/172.40	show0 IOError_PermDenied = 'P' : 'D' : [];
196.91/172.40	show0 IOError_AlreadyExists = 'A' : 'E' : [];
196.91/172.40	show0 IOError_AlreadyInUse = 'R' : 'B' : [];
196.91/172.40	show0 IOError_DoesNotExist = 'D' : 'N' : 'E' : [];
196.91/172.40	show0 IOError_FullError = 'R' : 'E' : [];
196.91/172.40	show0 IOError_EOF = 'E' : 'O' : 'F' : [];
196.91/172.40	show0 IOError_WriteError = 'W' : 'E' : [];
196.91/172.40	"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(4)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(5) IFR (EQUIVALENT)
196.91/172.40	If Reductions:
196.91/172.40	The following If expression
196.91/172.40	"if b then (showChar '(') . p . showChar ')' else p"
196.91/172.40	is transformed to
196.91/172.40	"showParen0 p True = (showChar '(') . p . showChar ')';
196.91/172.40	showParen0 p False = p;
196.91/172.40	"
196.91/172.40	The following If expression
196.91/172.40	"if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero"
196.91/172.40	is transformed to
196.91/172.40	"primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y));
196.91/172.40	primDivNatS0 x y False = Zero;
196.91/172.40	"
196.91/172.40	The following If expression
196.91/172.40	"if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x"
196.91/172.40	is transformed to
196.91/172.40	"primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y);
196.91/172.40	primModNatS0 x y False = Succ x;
196.91/172.40	"
196.91/172.40	The following If expression
196.91/172.40	"if primGEqNatS x y then primModNatP (primMinusNatS x y) (Succ y) else primMinusNatS y x"
196.91/172.40	is transformed to
196.91/172.40	"primModNatP0 x y True = primModNatP (primMinusNatS x y) (Succ y);
196.91/172.40	primModNatP0 x y False = primMinusNatS y x;
196.91/172.40	"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(6)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(7) BR (EQUIVALENT)
196.91/172.40	Replaced joker patterns by fresh variables and removed binding patterns.
196.91/172.40	
196.91/172.40	Binding Reductions:
196.91/172.40	The bind variable of the following binding Pattern
196.91/172.40	"s@(wz : xu)"
196.91/172.40	is replaced by the following term
196.91/172.40	"wz : xu"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(8)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(9) COR (EQUIVALENT)
196.91/172.40	Cond Reductions:
196.91/172.40	The following Function with conditions
196.91/172.40	"showsPrec p ''' = showString (''' : '\' : ''' : ''' : []);
196.91/172.40	showsPrec p c = (showChar ''') . (showLitChar c) . showChar ''';
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showsPrec p zw = showsPrec5 p zw;
196.91/172.40	showsPrec p c = showsPrec3 p c;
196.91/172.40	"
196.91/172.40	"showsPrec3 p c = (showChar ''') . (showLitChar c) . showChar ''';
196.91/172.40	"
196.91/172.40	"showsPrec4 True p zw = showString (''' : '\' : ''' : ''' : []);
196.91/172.40	showsPrec4 zx zy zz = showsPrec3 zy zz;
196.91/172.40	"
196.91/172.40	"showsPrec5 p zw = showsPrec4 (zw == ''') p zw;
196.91/172.40	showsPrec5 vuu vuv = showsPrec3 vuu vuv;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"showl [] = showChar '"';
196.91/172.40	showl ('"' : cs) = (showString ('\' : '"' : [])) . showl cs;
196.91/172.40	showl (c : cs) = (showLitChar c) . showl cs;
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showl [] = showl3 [];
196.91/172.40	showl (vuy : cs) = showl2 (vuy : cs);
196.91/172.40	showl (c : cs) = showl0 (c : cs);
196.91/172.40	"
196.91/172.40	"showl0 (c : cs) = (showLitChar c) . showl cs;
196.91/172.40	"
196.91/172.40	"showl1 True (vuy : cs) = (showString ('\' : '"' : [])) . showl cs;
196.91/172.40	showl1 vuz vvu = showl0 vvu;
196.91/172.40	"
196.91/172.40	"showl2 (vuy : cs) = showl1 (vuy == '"') (vuy : cs);
196.91/172.40	showl2 vvv = showl0 vvv;
196.91/172.40	"
196.91/172.40	"showl3 [] = showChar '"';
196.91/172.40	showl3 vvx = showl2 vvx;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"takeWhile p [] = [];
196.91/172.40	takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[];
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"takeWhile p [] = takeWhile3 p [];
196.91/172.40	takeWhile p (x : xs) = takeWhile2 p (x : xs);
196.91/172.40	"
196.91/172.40	"takeWhile1 p x xs True = x : takeWhile p xs;
196.91/172.40	takeWhile1 p x xs False = takeWhile0 p x xs otherwise;
196.91/172.40	"
196.91/172.40	"takeWhile0 p x xs True = [];
196.91/172.40	"
196.91/172.40	"takeWhile2 p (x : xs) = takeWhile1 p x xs (p x);
196.91/172.40	"
196.91/172.40	"takeWhile3 p [] = [];
196.91/172.40	takeWhile3 vwu vwv = takeWhile2 vwu vwv;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"!! (x : vy) 0 = x;
196.91/172.40	!! (vz : xs) n|n > 0xs !! (n - 1);
196.91/172.40	!! (wu : wv) ww = error [];
196.91/172.40	!! [] wx = error [];
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"!! (x : vy) vxy = emEm5 (x : vy) vxy;
196.91/172.40	!! (vz : xs) n = emEm3 (vz : xs) n;
196.91/172.40	!! (wu : wv) ww = emEm1 (wu : wv) ww;
196.91/172.40	!! [] wx = emEm0 [] wx;
196.91/172.40	"
196.91/172.40	"emEm0 [] wx = error [];
196.91/172.40	"
196.91/172.40	"emEm1 (wu : wv) ww = error [];
196.91/172.40	emEm1 vwy vwz = emEm0 vwy vwz;
196.91/172.40	"
196.91/172.40	"emEm2 vz xs n True = xs !! (n - 1);
196.91/172.40	emEm2 vz xs n False = emEm1 (vz : xs) n;
196.91/172.40	"
196.91/172.40	"emEm3 (vz : xs) n = emEm2 vz xs n (n > 0);
196.91/172.40	emEm3 vxv vxw = emEm1 vxv vxw;
196.91/172.40	"
196.91/172.40	"emEm4 True (x : vy) vxy = x;
196.91/172.40	emEm4 vxz vyu vyv = emEm3 vyu vyv;
196.91/172.40	"
196.91/172.40	"emEm5 (x : vy) vxy = emEm4 (vxy == 0) (x : vy) vxy;
196.91/172.40	emEm5 vyw vyx = emEm3 vyw vyx;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"showLitChar c|c > '\127'(showChar '\') . protectEsc isDigit (shows (fromEnum c));
196.91/172.40	showLitChar '\127' = showString ('\' : 'D' : 'E' : 'L' : []);
196.91/172.40	showLitChar '\' = showString ('\' : '\' : []);
196.91/172.40	showLitChar c|c >= '\32'showChar c;
196.91/172.40	showLitChar '\7' = showString ('\' : 'a' : []);
196.91/172.40	showLitChar '\8' = showString ('\' : 'b' : []);
196.91/172.40	showLitChar '\12' = showString ('\' : 'f' : []);
196.91/172.40	showLitChar '\10' = showString ('\' : 'n' : []);
196.91/172.40	showLitChar '\13' = showString ('\' : 'r' : []);
196.91/172.40	showLitChar '\9' = showString ('\' : 't' : []);
196.91/172.40	showLitChar '\11' = showString ('\' : 'v' : []);
196.91/172.40	showLitChar '\14' = protectEsc ('H' ==) (showString ('\' : 'S' : 'O' : []));
196.91/172.40	showLitChar c = showString ('\' : snd (asciiTab !! (fromEnum c)));
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"showLitChar c = showLitChar24 c;
196.91/172.40	showLitChar wyz = showLitChar22 wyz;
196.91/172.40	showLitChar wyv = showLitChar20 wyv;
196.91/172.40	showLitChar c = showLitChar18 c;
196.91/172.40	showLitChar wxw = showLitChar16 wxw;
196.91/172.40	showLitChar wwy = showLitChar14 wwy;
196.91/172.40	showLitChar wwu = showLitChar12 wwu;
196.91/172.40	showLitChar wvw = showLitChar10 wvw;
196.91/172.40	showLitChar wuy = showLitChar8 wuy;
196.91/172.40	showLitChar wuu = showLitChar6 wuu;
196.91/172.40	showLitChar vzw = showLitChar4 vzw;
196.91/172.40	showLitChar vyy = showLitChar2 vyy;
196.91/172.40	showLitChar c = showLitChar0 c;
196.91/172.40	"
196.91/172.40	"showLitChar0 c = showString ('\' : snd (asciiTab !! (fromEnum c)));
196.91/172.40	"
196.91/172.40	"showLitChar1 True vyy = protectEsc ('H' ==) (showString ('\' : 'S' : 'O' : []));
196.91/172.40	showLitChar1 vyz vzu = showLitChar0 vzu;
196.91/172.40	"
196.91/172.40	"showLitChar2 vyy = showLitChar1 (vyy == '\14') vyy;
196.91/172.40	showLitChar2 vzv = showLitChar0 vzv;
196.91/172.40	"
196.91/172.40	"showLitChar3 True vzw = showString ('\' : 'v' : []);
196.91/172.40	showLitChar3 vzx vzy = showLitChar2 vzy;
196.91/172.40	"
196.91/172.40	"showLitChar4 vzw = showLitChar3 (vzw == '\11') vzw;
196.91/172.40	showLitChar4 vzz = showLitChar2 vzz;
196.91/172.40	"
196.91/172.40	"showLitChar5 True wuu = showString ('\' : 't' : []);
196.91/172.40	showLitChar5 wuv wuw = showLitChar4 wuw;
196.91/172.40	"
196.91/172.40	"showLitChar6 wuu = showLitChar5 (wuu == '\9') wuu;
196.91/172.40	showLitChar6 wux = showLitChar4 wux;
196.91/172.40	"
196.91/172.40	"showLitChar7 True wuy = showString ('\' : 'r' : []);
196.91/172.40	showLitChar7 wuz wvu = showLitChar6 wvu;
196.91/172.40	"
196.91/172.40	"showLitChar8 wuy = showLitChar7 (wuy == '\13') wuy;
196.91/172.40	showLitChar8 wvv = showLitChar6 wvv;
196.91/172.40	"
196.91/172.40	"showLitChar9 True wvw = showString ('\' : 'n' : []);
196.91/172.40	showLitChar9 wvx wvy = showLitChar8 wvy;
196.91/172.40	"
196.91/172.40	"showLitChar10 wvw = showLitChar9 (wvw == '\10') wvw;
196.91/172.40	showLitChar10 wvz = showLitChar8 wvz;
196.91/172.40	"
196.91/172.40	"showLitChar11 True wwu = showString ('\' : 'f' : []);
196.91/172.40	showLitChar11 wwv www = showLitChar10 www;
196.91/172.40	"
196.91/172.40	"showLitChar12 wwu = showLitChar11 (wwu == '\12') wwu;
196.91/172.40	showLitChar12 wwx = showLitChar10 wwx;
196.91/172.40	"
196.91/172.40	"showLitChar13 True wwy = showString ('\' : 'b' : []);
196.91/172.40	showLitChar13 wwz wxu = showLitChar12 wxu;
196.91/172.40	"
196.91/172.40	"showLitChar14 wwy = showLitChar13 (wwy == '\8') wwy;
196.91/172.40	showLitChar14 wxv = showLitChar12 wxv;
196.91/172.40	"
196.91/172.40	"showLitChar15 True wxw = showString ('\' : 'a' : []);
196.91/172.40	showLitChar15 wxx wxy = showLitChar14 wxy;
196.91/172.40	"
196.91/172.40	"showLitChar16 wxw = showLitChar15 (wxw == '\7') wxw;
196.91/172.40	showLitChar16 wxz = showLitChar14 wxz;
196.91/172.40	"
196.91/172.40	"showLitChar17 c True = showChar c;
196.91/172.40	showLitChar17 c False = showLitChar16 c;
196.91/172.40	"
196.91/172.40	"showLitChar18 c = showLitChar17 c (c >= '\32');
196.91/172.40	showLitChar18 wyu = showLitChar16 wyu;
196.91/172.40	"
196.91/172.40	"showLitChar19 True wyv = showString ('\' : '\' : []);
196.91/172.40	showLitChar19 wyw wyx = showLitChar18 wyx;
196.91/172.40	"
196.91/172.40	"showLitChar20 wyv = showLitChar19 (wyv == '\') wyv;
196.91/172.40	showLitChar20 wyy = showLitChar18 wyy;
196.91/172.40	"
196.91/172.40	"showLitChar21 True wyz = showString ('\' : 'D' : 'E' : 'L' : []);
196.91/172.40	showLitChar21 wzu wzv = showLitChar20 wzv;
196.91/172.40	"
196.91/172.40	"showLitChar22 wyz = showLitChar21 (wyz == '\127') wyz;
196.91/172.40	showLitChar22 wzw = showLitChar20 wzw;
196.91/172.40	"
196.91/172.40	"showLitChar23 c True = (showChar '\') . protectEsc isDigit (shows (fromEnum c));
196.91/172.40	showLitChar23 c False = showLitChar22 c;
196.91/172.40	"
196.91/172.40	"showLitChar24 c = showLitChar23 c (c > '\127');
196.91/172.40	showLitChar24 wzx = showLitChar22 wzx;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"cont (wz : xu)|p wz('\' : '&' : []) ++ wz : xu;
196.91/172.40	cont s = s;
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"cont (wz : xu) = cont2 (wz : xu);
196.91/172.40	cont s = cont0 s;
196.91/172.40	"
196.91/172.40	"cont0 s = s;
196.91/172.40	"
196.91/172.40	"cont1 wz xu True = ('\' : '&' : []) ++ wz : xu;
196.91/172.40	cont1 wz xu False = cont0 (wz : xu);
196.91/172.40	"
196.91/172.40	"cont2 (wz : xu) = cont1 wz xu (p wz);
196.91/172.40	cont2 wzz = cont0 wzz;
196.91/172.40	"
196.91/172.40	The following Function with conditions
196.91/172.40	"undefined |Falseundefined;
196.91/172.40	"
196.91/172.40	is transformed to
196.91/172.40	"undefined  = undefined1;
196.91/172.40	"
196.91/172.40	"undefined0 True = undefined;
196.91/172.40	"
196.91/172.40	"undefined1  = undefined0 False;
196.91/172.40	"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(10)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(11) LetRed (EQUIVALENT)
196.91/172.40	Let/Where Reductions:
196.91/172.40	The bindings of the following Let/Where expression
196.91/172.40	"(showChar '[') . (shows x) . showl xs where {
196.91/172.40	showl [] = showChar ']';
196.91/172.40	showl (x : xs) = (showChar ',') . (shows x) . showl xs;
196.91/172.40	} 
196.91/172.40	"
196.91/172.40	are unpacked to the following functions on top level
196.91/172.40	"showListShowl [] = showChar ']';
196.91/172.40	showListShowl (x : xs) = (showChar ',') . (shows x) . showListShowl xs;
196.91/172.40	"
196.91/172.40	The bindings of the following Let/Where expression
196.91/172.40	"(showChar '"') . showl cs where {
196.91/172.40	showl [] = showl3 [];
196.91/172.40	showl (vuy : cs) = showl2 (vuy : cs);
196.91/172.40	showl (c : cs) = showl0 (c : cs);
196.91/172.40	;
196.91/172.40	showl0 (c : cs) = (showLitChar c) . showl cs;
196.91/172.40	;
196.91/172.40	showl1 True (vuy : cs) = (showString ('\' : '"' : [])) . showl cs;
196.91/172.40	showl1 vuz vvu = showl0 vvu;
196.91/172.40	;
196.91/172.40	showl2 (vuy : cs) = showl1 (vuy == '"') (vuy : cs);
196.91/172.40	showl2 vvv = showl0 vvv;
196.91/172.40	;
196.91/172.40	showl3 [] = showChar '"';
196.91/172.40	showl3 vvx = showl2 vvx;
196.91/172.40	} 
196.91/172.40	"
196.91/172.40	are unpacked to the following functions on top level
196.91/172.40	"showListShowl3 [] = showChar '"';
196.91/172.40	showListShowl3 vvx = showListShowl2 vvx;
196.91/172.40	"
196.91/172.40	"showListShowl2 (vuy : cs) = showListShowl1 (vuy == '"') (vuy : cs);
196.91/172.40	showListShowl2 vvv = showListShowl0 vvv;
196.91/172.40	"
196.91/172.40	"showListShowl1 True (vuy : cs) = (showString ('\' : '"' : [])) . showListShowl4 cs;
196.91/172.40	showListShowl1 vuz vvu = showListShowl0 vvu;
196.91/172.40	"
196.91/172.40	"showListShowl0 (c : cs) = (showLitChar c) . showListShowl4 cs;
196.91/172.40	"
196.91/172.40	"showListShowl4 [] = showListShowl3 [];
196.91/172.40	showListShowl4 (vuy : cs) = showListShowl2 (vuy : cs);
196.91/172.40	showListShowl4 (c : cs) = showListShowl0 (c : cs);
196.91/172.40	"
196.91/172.40	The bindings of the following Let/Where expression
196.91/172.40	"f . cont where {
196.91/172.40	cont (wz : xu) = cont2 (wz : xu);
196.91/172.40	cont s = cont0 s;
196.91/172.40	;
196.91/172.40	cont0 s = s;
196.91/172.40	;
196.91/172.40	cont1 wz xu True = ('\' : '&' : []) ++ wz : xu;
196.91/172.40	cont1 wz xu False = cont0 (wz : xu);
196.91/172.40	;
196.91/172.40	cont2 (wz : xu) = cont1 wz xu (p wz);
196.91/172.40	cont2 wzz = cont0 wzz;
196.91/172.40	} 
196.91/172.40	"
196.91/172.40	are unpacked to the following functions on top level
196.91/172.40	"protectEscCont0 xuu s = s;
196.91/172.40	"
196.91/172.40	"protectEscCont1 xuu wz xu True = ('\' : '&' : []) ++ wz : xu;
196.91/172.40	protectEscCont1 xuu wz xu False = protectEscCont0 xuu (wz : xu);
196.91/172.40	"
196.91/172.40	"protectEscCont2 xuu (wz : xu) = protectEscCont1 xuu wz xu (xuu wz);
196.91/172.40	protectEscCont2 xuu wzz = protectEscCont0 xuu wzz;
196.91/172.40	"
196.91/172.40	"protectEscCont xuu (wz : xu) = protectEscCont2 xuu (wz : xu);
196.91/172.40	protectEscCont xuu s = protectEscCont0 xuu s;
196.91/172.40	"
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(12)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.40	
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(13) NumRed (SOUND)
196.91/172.40	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
196.91/172.40	----------------------------------------
196.91/172.40	
196.91/172.40	(14)
196.91/172.40	Obligation:
196.91/172.40	mainModule Main 
196.91/172.40	module Main where {
196.91/172.40	import qualified Prelude;
196.91/172.40	}
196.91/172.46	EOF