Added trace to constraint version