Slightly better tracing in the constraint solver