Impact Analysis in the Presence of Dependence Clusters Using Static Execute After in WebKit