iextend works now for the category of constraints