I think you can often avoid reasoning about all possible paths, by having one try-finally block per each resource to be freed.