Instrumenting MemCheck works. Expanding
the relational representation; work in progress. Makefile configuration optimizations.