Function prune_maybe_throws 

pub fn prune_maybe_throws(
    func: &mut HirFunction,
    functions: &mut [HirFunction],
) -> Result<(), CompilerDiagnostic>

Prune MaybeThrow terminals for blocks that cannot throw, then clean up the CFG.