doubly_recursive_function.yul

{
    function a() { b() }
    function b() { a() }
}
// ----
// : movable, movable apart from effects, can be removed, can be removed if no msize
// a: movable apart from effects, can loop
// b: movable apart from effects, can loop