[joatmon-snoo]

IANAL but OTOH I would argue that Alice isn't very relevant here. The chief rationale behind that case was the triviality of the core algorithm being described: if there isn't enough money in an account, you don't withdraw money from the account.