lemxin: use stable ordering of indicator_terms in partial_order sets