==================== Strictness signatures ====================
UnsatFun.$trModule:
UnsatFun.f: <1P(S)><B>b
UnsatFun.g: <1P(S)>b
UnsatFun.g': <MP(L)>
UnsatFun.g3: <A>
UnsatFun.h: <1C1(L)>
UnsatFun.h2: <1L><MCM(L)>
UnsatFun.h3: <1C1(A)>



==================== Cpr signatures ====================
UnsatFun.$trModule:
UnsatFun.f: b
UnsatFun.g:
UnsatFun.g':
UnsatFun.g3: 1
UnsatFun.h:
UnsatFun.h2:
UnsatFun.h3: 1



==================== Strictness signatures ====================
UnsatFun.$trModule:
UnsatFun.f: <1P(S)><B>b
UnsatFun.g: <1P(S)>b
UnsatFun.g': <MP(L)>
UnsatFun.g3: <A>
UnsatFun.h: <1C1(L)>
UnsatFun.h2: <1L><MCM(L)>
UnsatFun.h3: <1C1(A)>