some simple tracing and infrastructure in preparation for miplib pseudoboolean rewriting