It is unnecessary to use hashed timelock contracts if you can use simple a simple timelock value in transactions.
You shouldn't make things more complicated then they need to be.
simply, just in the case Alice has complicated scenarios for her will.
--------------------
but there is one serious question here about "Transaction malleability":
https://en.bitcoin.it/wiki/Transaction_malleabilitywhich of solutions above are not vulnerable to malleability?