test_branches/asynchronous_machine.p