up_tree_incl_fctor: correct order for antichain refinement