Nice paper! This could be a great tool to help debugging differential privacy [0] of an algorithm. Certainly much simpler than CertiPriv [1].
[0] https://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf [1] http://certicrypt.gforge.inria.fr/certipriv/