==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <SP(U)><SP(U)>
T12370.foo: <SP(SP(U),SP(U))>



==================== Cpr signatures ====================
T12370.$trModule:
T12370.bar: m1
T12370.foo: m1



==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <SP(U)><SP(U)>
T12370.foo: <SP(SP(U),SP(U))>