The program dependence graph in a software development environment | Synapse