==================== Strictness signatures ====================
FacState.fac: <S,1*U(U)><L,U>dm1(d,tm1(d))