// 'bob_write' is a successor of 'bob_compute'
// 'carl_read' is a successor of 'bob_write'
// 'carl_compute' is a successor of 'carl_read'
// 'bob_write' is a successor of 'bob_compute'
// 'carl_read' is a successor of 'bob_write'
// 'carl_compute' is a successor of 'carl_read'