Create a more in-depth example use-case of Clark-Wilson. Use the bank-app assignment as a working example.