I ran the associated test (term187) with a workbench compiler with
assertions enabled (rev 84288).  I got a compiler crash with:

-------------------------------------------------------------------------------
FORMAL_GENERIC_LIST_AS
                    i_th @2                valid_index:
<0000000012ADCC40>  (From ARRAYED_LIST)    Precondition violated.        Fail
-------------------------------------------------------------------------------

The compiler is trying to look at the 2nd element of the list but there
is only one element.  It appears to be checking the generic constraint
for class TEST1 which is 

   G -> TEST2 [TEST3 [INTEGER], INTEGER]

Note that TEST1 has only one formal generic, whereas TEST2 has 2 formals.
I think the compiler is getting confused and looking at the wrong class
or looking at the list of actual generics for the wrong class.