No save attribute was passed, previous version will only be stored in memory and not written to disk
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') 
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')
Requirement R1 is True with assurance level 100
Verifying Requirement R2: parallel (tree, 'retract consent', 'direct questions') and directly_follows (tree, 'retract consent', 'terminate') 
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')
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') 
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')
Requirement R5 is True with assurance level 100
Currently required activities for the process are: {'monitor patient', 'direct questions', 'assess donor', 'obtain consent', 'retract consent', 'provide information', 'conduct interview and questionnaire', 'inform of rejection'}
Currently missing activities for the process are: set()