Allow overriding the function and translation environments
Add control flow graph to the pipeline environment