Efficient and precise dynamic impact analysis using execute-after sequences