Implement a basic data access repository and control flow graph,
and provide a simple check which searches for unused local variables.
It does something in simple cases, but gets confused for more complicated
pieces of code at the moment.