Truncating Meaning Program Analysis Techniques