1 2 3 4 5 6 7 8 9
{ let a := add(1, mul(3, 4)) mstore(0, a) } // ---- // fullSimplify // { // mstore(0, 13) // }