Transforms Semantic IR structures by pruning dead branches and injecting recovery preconditions.
@spec apply_recovery(map()) :: map()