Definitions

stream which returns after branching