Recursion Removal Rules


The first phase:  Table making 

Which parameter in which function has the properties
This time: context parameter of strictly single use 

append: second parameter `y' has 
 	append(x,y) = case x of 
 		nil 	    -> y
 		Cons[x1,xs] -> Cons[x1,append(xs,y)]

y appears exactly once in each branch

flatll: no parameters have