For `mov rax, [rax]`, `48 8b 00` it generates the following sub trees under `read_constraint`. `Mul 0, op2` can have their entire subtree removed A `add 0, op2` can have `op2` be propegated to where the `add` node was  
For
mov rax, [rax],48 8b 00it generates the following sub trees underread_constraint.Mul 0, op2can have their entire subtree removedA
add 0, op2can haveop2be propegated to where theaddnode was