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: precedence (tree, 'verify symptoms', 'consult')
Requirement R0 is True with assurance level 100
Verifying Requirement R1: leads_to (tree, 'verify symptoms', 'diagnosis')
Requirement R1 is True with assurance level 100
Verifying Requirement R2: precedence (tree, 'prescribe medicine', 'verify symptoms')
Requirement R2 is True with assurance level 100
Currently required activities for the process are: {'verify symptoms', 'diagnosis', 'prescribe medicine', 'consult'}
Currently missing activities for the process are: {'verify symptoms', 'prescribe medicine'}