No save attribute was passed, previous version will only be stored in memory and not written to disk
If a save attribute was passed, and this message still shows, there is a internal server error
The global assurance level is 100
Verifying Requirement R0: exists (tree, 'obtain respondent bank annual report') and exists (tree, 'analyze respondent bank annual report')
Requirement R0 is True with assurance level 100
Verifying Requirement R1: data_value_alternative_eventually_follows (tree, 'not data.evaluation', 'add respondent bank to blacklist')
Requirement R1 is True with assurance level 100
Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate')
Requirement R2 is True with assurance level 100
Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study')
Requirement R3 is True with assurance level 100
Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate')
Requirement R4 is True with assurance level 100
Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate')
Requirement R5 is True with assurance level 100
Currently required activities for the process are: {'open bank account', 'analyze respondent bank annual report', 'add respondent bank to blacklist', 'check respondent bank certificate', 'obtain respondent bank annual report', 'conduct due diligence study'}
Currently missing activities for the process are: set()