carol getThenCheck(1) -> DENIED  (AuthorizationDeniedException: Access Denied)
method body ran 1 time(s) during that call