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, 'obtain consent', 'provide information') and data_value_alternative_directly_follows (tree, 'not data.consented', 'terminate') Activity "provide information" was found before "obtain consent", so precedence "obtain consent" requires "provide information" before is True Branch default was found which matches to notdata.consented, lower assurance Activity "terminate" directly followed the data_condition "not data.consented" Requirement R0 is True with assurance level 90 Verifying Requirement R1: executed_by (tree, 'conduct interview and questionnaire', 'physician') or executed_by (tree, 'conduct interview and questionnaire', 'trained assistant') Activity "conduct interview and questionnaire" is executed by Resource "physician" Requirement R1 is True with assurance level 100 Verifying Requirement R2: parallel (tree, 'retract consent', 'direct questions') and directly_follows (tree, 'retract consent', 'terminate') Activities "retract consent" and "direct questions" are in parallel Found a terminate that directly follows "retract consent" Requirement R2 is True with assurance level 100 Verifying Requirement R3: timed_alternative (tree, 'monitor patient', 'assess donor', 900) and executed_by (tree, 'assess donor', 'physician') Identified a timeout in a parallal cancel with "assess donor" Verifying existence of "monitor patient in Activity "assess donor" is executed by Resource "physician" Requirement R3 is True with assurance level 100 Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'assessment_status == "rejected" ', 'inform of rejection') and directly_follows (tree, 'inform of rejection', 'terminate') Condition mapped via in compared to ==, lower assurances Activity "inform of rejection" was found on branch following condition "assessment_status == "rejected" " Found a terminate that directly follows "inform of rejection" Requirement R4 is True with assurance level 90 Verifying Requirement R5: activity_receives (tree, 'conduct interview and questionnaire', 'assessment_status') and activity_receives (tree, 'direct questions', 'assessment_status') data object "assessment_status" is finalized from Activity "conduct interview and questionnaire" data object "assessment_status" is finalized from Activity "direct questions" Requirement R5 is True with assurance level 100 Currently required activities for the process are: {'retract consent', 'provide information', 'monitor patient', 'obtain consent', 'conduct interview and questionnaire', 'direct questions', 'assess donor', 'inform of rejection'} Currently missing activities for the process are: set()