fix, I think live variable analysis is correct, but not memory mangement