bug Yue Ren partially solved -> problem in the chain criterion for mixed orderings for integers