==================== Strictness signatures ====================
StrAnalExample.$trModule:
StrAnalExample.foo: <S,1*U>



==================== Cpr signatures ====================
StrAnalExample.$trModule: m1
StrAnalExample.foo:



==================== Strictness signatures ====================
StrAnalExample.$trModule:
StrAnalExample.foo: <S,1*U>