add andc constraint