stranal/sigs/UnsatFun

Hi devs, On my kind=type branch (D808), I have this test failure for stranal/sigs/UnsatFun: ==================== Strictness signatures ==================== UnsatFun.$trModule: m UnsatFun.f: b -UnsatFun.g: b -UnsatFun.g': +UnsatFun.g: +UnsatFun.g': UnsatFun.g3: m -UnsatFun.h: -UnsatFun.h2: -UnsatFun.h3: m +UnsatFun.h: +UnsatFun.h2: +UnsatFun.h3: m *** unexpected failure for UnsatFun(optasm) I haven't any clue what this means. Is it bad? Is it good? Any pointers? Thanks! Richard