And then we have address E which has spending rules like this:
OP_IF
<Alice Public Key> OP_CHECKSIG
OP_ELSE
<N days> OP_CSV DROP <Bob Public Key> OP_CHECKSIG
OP_ENDIF
As I got it the spending rules of E address should be implemented by Alice herself which means the omission of any third party involved into Inheritance Protocol you have proposed. Is this correct?