Class EnsureSplitting::EnsureSplit

A split for nodes belonging to an ensure block, which determines how to continue execution after leaving the ensure block. For example, in

begin
  if x
    raise "Exception"
  end
ensure
  puts "Ensure"
end

all control flow nodes in the ensure block have two splits: one representing normal execution of the body (when x evaluates to true), and one representing exceptional execution of the body (when x evaluates to false).