[Oberon] Program slicing tool