becopyopt: Simplify co_dump_appel_disjoint_constraints().