1. A computer-implemented method of determining an abstraction for a computer program, the method comprising: accessing within a computer a representation of the computer program, the representation comprising a directed graph; and reducing a plurality of nodes within the directed graph to a single node, the plurality of nodes including only less than all nodes within the directed graph.