Function skip_branch Copy item path

Tells loom to stop exploring possible concurrent execution starting at this point.

Unlike stop_exploring, exploration cannot be restarted by explore.