==================== Strictness signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: <UCU(CS(P(MU)))><SU><SU>



==================== Cpr signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: m1



==================== Strictness signatures ====================
CaseBinderCPR.$trModule:
CaseBinderCPR.f_list_cmp: <UCU(CS(P(SU)))><SU><SU>