constraints traceability updated