# TFM: Program slicing with exceptions