package binsec

choose_path e pops a new path p from environment e, and returns both the path and the environment without this path.

• raises Empty_worklist

  once worklist has been emptied

add_path p e register path p in the worlist of environment e.