Text this: Program state optimal method based on variable symbolic relation analysis