It is very possible.
It's also possible if JD opts out, the Sox resign him, possibly at a lower AAV but for 4+ years. (Really, what other teams will be looking at him for a better deal?) If that happens, any trade of Betts is completely up in the air. But if Betts isn' traded, it does mean JBJ is likely traded or, more likely, non-tendered. However, like JDM, it is possible Bradley is re-signed at a lower salary than anticipated in arbitration (which is in the $10-12mill range)...