Fixed liveness in loops an phi functions.
drwxr-xr-x - ir