solidity/test/libyul/yulOptimizerTests/reasoningBasedSimplifier/simple_test.yul

{
//    let y := calldataload(0)
//    let x := calldataload(1)
    let x := 0
    if x { }
}
// ----
// step: reasoningBasedSimplifier
//
// {
//     let x := 0
//     if 0 { }
// }