Added computation of reaching definitions.