resolve
incorrect contraint generation.