==================== Strictness signatures ====================
HyperStrUse.f: <1!P(1!P(L),A)><1L>



==================== Cpr signatures ====================
HyperStrUse.f: 1



==================== Strictness signatures ====================
HyperStrUse.f: <1!P(1!P(L),A)><1L>