It's my understanding that all transactions spending an OP_CHECKSEQUENCEVERIFY input will have RBF implicitly enabled (as all valid nSequence locktimes are less than 0xFFFFFF).
I was wondering what the recommended solution for a case where the contract is something like
IF
[alice pubkey]
ELSE
[time] CHECKSEQUENCEVERIFY DROP
[bob pubkey]
ENDIF
CHECKSIG
Where the goal is that Bob can spend the funds only after an escrow period, but Alice can spend them at any time, revoking payment for an ongoing service between the two. As I understand it, the effects of RBF would be such that Alice would be able to spend this output, even after Bob has published it to the network.
My question is essentially: is there any way to make it so that Alice could not spend the output after the relative locktime has passed?