bugfix in If-then-else Eval
pass test:
	let
		f = fun x-> (if x = 1 then 1 else x * (f (x-1)) end)
	in
		(f 4)
	end