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 Url of a subprocess is None The global assurance level is 90 Verifying Requirement R0: precedence (tree, 'conduct risk disclosure', receive_exist (tree, 'customer_data')) found activity at path "" with label "new customer arrives" which receives dataobject customer_data Activity "" was found before "conduct risk disclosure", so precedence "conduct risk disclosure" requires "" before is True Requirement R0 is True with assurance level 100 Verifying Requirement R1: executed_by (tree, send_exist (tree, 'customer_brochures'), 'customer_advisor') did not find any activity which sends dataobject "customer_brochures" Activity "None" existence was checked but not found Activity "None" is missing in the process Requirement R1 is False with assurance level 100 Verifying Requirement R2: True Requirement R2 is True with assurance level 100 Verifying Requirement R3: leads_to (tree, 'conclude custody account', send_exist (tree, 'custody_account_contract')) found activity"send legitimation & custody account documents" which sends dataobject "custody_account_contract" Activity "conclude custody account" is before Activity "" Requirement R3 is True with assurance level 100 Verifying Requirement R4: executed_by (tree, 'conduct investment advice', 'securities customer advisor') Activity "conduct investment advice" is executed by Resource "securities customer advisor" Requirement R4 is True with assurance level 100 Verifying Requirement R5: executed_by (tree, 'conduct customer identification & legitimation', 'customer advisor') and executed_by (tree, 'conduct customer identification & legitimation', 'money laundering officer') Activity "conduct customer identification & legitimation" is executed by Resource "customer advisor" Activity "conduct customer identification & legitimation" is executed by Resource "money laundering officer" Requirement R5 is True with assurance level 100 Verifying Requirement R6: precedence (tree, 'conclude custody account', 'conduct customer identification & legitimation') Activity "conduct customer identification & legitimation" was found before "conclude custody account", so precedence "conclude custody account" requires "conduct customer identification & legitimation" before is True Requirement R6 is True with assurance level 100 Verifying Requirement R7: data_value_alternative_eventually_follows (tree, 'not data.customer.status == "new"', 'update customer data') Branch default was found which matches to notdata.customer.status=="new", lower assurance Activity "update customer data" was found on branch following condition "not data.customer.status == "new"" Requirement R7 is True with assurance level 90 Verifying Requirement R8: loop (tree, 'check custody account balance') Found no Loop with Activity check custody account balance in it Requirement R8 is False with assurance level 100 Currently required activities for the process are: {None, 'conclude custody account', 'conduct risk disclosure', 'conduct customer identification & legitimation', 'conduct investment advice', 'update customer data'} Currently missing activities for the process are: {None} 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') Activity "add respondent bank to blacklist" was found on branch following condition "not data.evaluation" Requirement R1 is True with assurance level 100 Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate') Activity "terminate" directly followed the data_condition "data.risk" Requirement R2 is True with assurance level 100 Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study') Branch was found which matches to data.evaluation_extra Activity "conduct due diligence study" was found on branch following condition "data.evaluation_extra" Requirement R3 is True with assurance level 100 Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate') Activity "terminate" was found on branch following condition "data.respondent_bank_rating == "rejected" " Requirement R4 is True with assurance level 100 Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate') Activity "check respondent bank certificate" was found before "open bank account", so precedence "open bank account" requires "check respondent bank certificate" before is True Requirement R5 is True with assurance level 100 Currently required activities for the process are: {'conduct due diligence study', 'add respondent bank to blacklist', 'open bank account', 'check respondent bank certificate', 'obtain respondent bank annual report', 'analyze respondent bank annual report'} Currently missing activities for the process are: set() 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') Activity "add respondent bank to blacklist" was found on branch following condition "not data.evaluation" Requirement R1 is True with assurance level 100 Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate') Activity "terminate" directly followed the data_condition "data.risk" Requirement R2 is True with assurance level 100 Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study') Branch was found which matches to data.evaluation_extra Activity "conduct due diligence study" was found on branch following condition "data.evaluation_extra" Requirement R3 is True with assurance level 100 Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate') Activity "terminate" was found on branch following condition "data.respondent_bank_rating == "rejected" " Requirement R4 is True with assurance level 100 Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate') Activity "check respondent bank certificate" was found before "open bank account", so precedence "open bank account" requires "check respondent bank certificate" before is True Requirement R5 is True with assurance level 100 Currently required activities for the process are: {'conduct due diligence study', 'add respondent bank to blacklist', 'open bank account', 'check respondent bank certificate', 'obtain respondent bank annual report', 'analyze respondent bank annual report'} Currently missing activities for the process are: set() 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') Activity "add respondent bank to blacklist" was found on branch following condition "not data.evaluation" Requirement R1 is True with assurance level 100 Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate') Activity "terminate" directly followed the data_condition "data.risk" Requirement R2 is True with assurance level 100 Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study') Branch was found which matches to data.evaluation_extra Activity "conduct due diligence study" was found on branch following condition "data.evaluation_extra" Requirement R3 is True with assurance level 100 Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate') Activity "terminate" was found on branch following condition "data.respondent_bank_rating == "rejected" " Requirement R4 is True with assurance level 100 Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate') Activity "check respondent bank certificate" was found before "open bank account", so precedence "open bank account" requires "check respondent bank certificate" before is True Requirement R5 is True with assurance level 100 Currently required activities for the process are: {'conduct due diligence study', 'add respondent bank to blacklist', 'open bank account', 'check respondent bank certificate', 'obtain respondent bank annual report', 'analyze respondent bank annual report'} Currently missing activities for the process are: set()