I think I see why this bug is still present, despite the supposed fix
in rev 81575. 

In FEATURE_BL, `is_right_parenthesis_needed' is a once function
that returns a CELL [BOOLEAN].   Routine `generate_end' in FEATURE_BL
calls `generate_access_on_type' and expects it to set
`is_right_parenthesis_needed' to the correct value.  The version of
that routine in FEATURE_BL always sets `is_right_parenthesis_needed'
but a descendant FEATURE_BW redefines `generate_access_on_type' to
call `generate_workbench_access_on_type' which does not appear to
set `is_right_parenthesis_needed'.  Thus when I do a workbench 
compilation after finalizing and keeping assertions, the value of `is_right_parenthesis_needed'
is the one set by the previous finalize.

I hope with this analysis you can fix this bug for 6.5.