The termination code is called when the expression is completely executed, i.e. in case of calling the expression with a collection after passing the last instance to the expression.
final_code := _final [ statement(*) ]
