Add the ability to separate trace files of the constraint generator and the constraint solver