Traceback (most recent call last):
  File "<string>", line 1, in <module>
    import runpy; n=runpy.run_path('examples/software-modeling/labs/20/check.py'); import json; b=json.load(open('examples/software-modeling/models/20/board.json')); r=n['Rehearsal'](); [r.execute(c) for c in b['commands']]; n['validate_trace']([e for e in r.events if e['kind']!='RefundReviewOpened'],r.commands)
                                                                                                                                                                                                                                 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "examples/software-modeling/labs/20/check.py", line 158, in validate_trace
    raise ValueError("unresolved synchronous policy obligation")
ValueError: unresolved synchronous policy obligation
