A bit more verbose (and using constraints list in profile computation)