Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment