No save attribute was passed, previous version will only be stored in memory and not written to disk
The global assurance level is 100
Verifying Requirement R0: loop (tree, 'check document management system')
Requirement R0 is False with assurance level 100
Verifying Requirement R1: leads_to (tree, 'create resolution proposal', 'analyse reports') and activity_receives (tree, 'create resolution proposal', 'resolution_proposal') and activity_receives (tree, 'generate consultative report', 'report_cb') and activity_receives (tree, 'generate legal report', 'report_ld') and exists (tree, 'analyse reports') and executed_by_return (tree, 'analyse reports') == executed_by_return (tree, 'create resolution proposal')
Requirement R1 is False with assurance level 100
Currently required activities for the process are: {'analyse reports', 'create resolution proposal', 'generate consultative report', 'generate legal report'}
Currently missing activities for the process are: {'generate consultative report', 'create resolution proposal'}