Confusing warning: "At least one constraint is free, i.e., neither posted or reified." #941