bio_bad.adb:243:40: Flow Error   4 - The dependency of the exported value of AuditLog.State on the imported value of Verify.Template has not been previously stated.
bio_bad.adb:243:40: Flow Error   4 - The dependency of the exported value of AuditLog.FileState on the imported value of Verify.Template has not been previously stated.
bio_bad.adb:275:8: Flow Error 601 - MatchResult may be derived from the imported value(s) of Clock.Now.
bio_bad.adb:275:8: Flow Error 601 - AchievedFAR may be derived from the imported value(s) of Clock.Now.

    4 errors or warnings, comprising:
         4 flow errors
   19 summarized warnings