semantic: Do the the BinOp replacing on leave