This impossibility poses problems when analyzing real-world computer programs. For