Pre-release

This contains two examples from our paper's motivating story. Moreover, there is a simple code to collect output statistics of the programs under-test.