let cnstrnt_disjoint = Sign.disjoint