1. A program analyzing method comprising: finding a dependent element group which is invertibly contractible, by using program analysis information including a plurality of dependent elements representing dependent relationships of statement and control, the statement and the control being included in a program; and generating a program dependence graph in which dependent elements are made to be contracted by making the found dependent element group contracted