Updating stream library, and refactoring traceInduct to be incorportated into Orb later if necessary
Updating stream library, and refactoring traceInduct to be incorportated into Orb later if necessary

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless