+ fix minor bug when adding coincidence constraint