Add finally semantics to protected blocks.