1 2 3 4 5
==================== Strictness signatures ==================== HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>m