{
    let a:u256
    { }
    function f() -> x:bool {
        let b:u256 := 4:u256
        {}
        for {} f() {} {}
    }
}
// ====
// step: mainFunction
// yul: true
// ----
// {
//     function main()
//     {
//         let a:u256
//         {
//         }
//     }
//     function f() -> x:bool
//     {
//         let b:u256 := 4:u256
//         {
//         }
//         for {
//         }
//         f()
//         {
//         }
//         {
//         }
//     }
// }