let cnstrnt_inter = Sign.inter