* Anonymous functions considered (fun(X) -> ... end)
* Shadowing in Anonymous Functions and LCs improved