2025-11-21 09:24:31,228 - compliancesub - INFO - No save attribute was passed, previous version will only be stored in memory and not written to disk
2025-11-21 09:24:31,228 - compliancesub - INFO - The global assurance level is 100
2025-11-21 09:24:31,229 - compliancesub - INFO - Verifying Requirement R0: exists (tree, 'obtain respondent bank annual report') and exists (tree, 'analyze respondent bank annual report')
2025-11-21 09:24:31,229 - compliancesub - INFO - Requirement R0 is True with assurance level 100
2025-11-21 09:24:31,229 - compliancesub - INFO - Verifying Requirement R1: data_value_alternative_eventually_follows (tree, 'not data.evaluation', 'add respondent bank to blacklist')
2025-11-21 09:24:31,229 - annotated_verification - INFO - Activity "add respondent bank to blacklist" was found on branch following condition "not data.evaluation"
2025-11-21 09:24:31,229 - compliancesub - INFO - Requirement R1 is True with assurance level 100
2025-11-21 09:24:31,229 - compliancesub - INFO - Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate')
2025-11-21 09:24:31,229 - annotated_verification - INFO - Activity "terminate" directly followed the data_condition "data.risk"
2025-11-21 09:24:31,229 - compliancesub - INFO - Requirement R2 is True with assurance level 100
2025-11-21 09:24:31,229 - compliancesub - INFO - Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study')
2025-11-21 09:24:31,229 - utils.data_util - INFO - Branch was found which matches to data.evaluation_extra
2025-11-21 09:24:31,229 - annotated_verification - INFO - Activity "conduct due diligence study" was found on branch following condition "data.evaluation_extra"
2025-11-21 09:24:31,229 - compliancesub - INFO - Requirement R3 is True with assurance level 100
2025-11-21 09:24:31,229 - compliancesub - INFO - Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate')
2025-11-21 09:24:31,230 - annotated_verification - INFO - Activity "terminate" was found on branch following condition "data.respondent_bank_rating == "rejected" "
2025-11-21 09:24:31,230 - compliancesub - INFO - Requirement R4 is True with assurance level 100
2025-11-21 09:24:31,230 - compliancesub - INFO - Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate')
2025-11-21 09:24:31,230 - annotated_verification - INFO - Activity "check respondent bank certificate" was found before "open bank account", so precedence "open bank account" requires "check respondent bank certificate" before is True
2025-11-21 09:24:31,230 - compliancesub - INFO - Requirement R5 is True with assurance level 100
2025-11-21 09:24:31,230 - compliancesub - INFO - Currently required activities for the process are: {'check respondent bank certificate', 'add respondent bank to blacklist', 'obtain respondent bank annual report', 'open bank account', 'conduct due diligence study', 'analyze respondent bank annual report'}
2025-11-21 09:24:31,230 - compliancesub - INFO - Currently missing activities for the process are: set()