Concurrency, BFS vs DFS (and a proposal)

Research and Development
2

An alternative would be to have
call-return without effects (only fail/no-fail)

See Adding Read-Only Calls for a discussion on this topic.