{
    let a := add(0, mload(0))
}
// ----
// expressionSimplifier
// {
//     let a := mload(0)
// }