begin
a
ensure
b
end

begin; a; ensure; b; end

begin a
 ensure b
 end

begin a; ensure b; end

