Refactor to include source code with Statements when possible

This means when we invoke the PDG generator from the Eclipse view, there
should be an editor available and we can get the source code from that.
Test to verify simple single producer-consumer relationship

See #30.