{
    function f(a) -> b { }
    mstore(0, sub(f(0), f(1)))
}
// ----
// fullSimplify
// {
//     function f(a) -> b
//     {
//     }
//     let _2 := f(1)
//     let _3 := 0
//     mstore(_3, sub(f(_3), _2))
// }