It does, but it's still too weak, e.g. it only works if the function is calling itself.