2025-11-27 14:30:06,302 - compliancesub - INFO - No save attribute was passed, previous version will only be stored in memory and not written to disk
2025-11-27 14:30:06,302 - compliancesub - INFO - The global assurance level is 100
2025-11-27 14:30:06,302 - compliancesub - INFO - Verifying Requirement R0: min_time_between (tree, 'A', 'B', 60)
2025-11-27 14:30:06,303 - annotated_verification - INFO - Activity "A" is before Activity "B"
2025-11-27 14:30:06,303 - annotated_verification - INFO - A and B were found without an alternative, so the voter will wait before B if necessary
2025-11-27 14:30:06,303 - compliancesub - INFO - Requirement R0 is True with assurance level 100
2025-11-27 14:30:06,303 - compliancesub - INFO - Currently required activities for the process are: {'B', 'A'}
2025-11-27 14:30:06,303 - compliancesub - INFO - Currently missing activities for the process are: set()