constraint names are changed to be more obvious