A function that extends the procedure context
Optional
The procedure context
The extended procedure context
A function that extends the procedure context