Combine State Dependent Transactions with the State ADT by Ian Hofmann-Hicks