auto-generating manip constraints