Search: constraint united

constraint using   constraint which   constraints about   constraints being   constraints check