Added constraint debugging methods