put the unsafeCoerce trace inside DEBUG, to avoid test failures