12. The computer program product in accordance with claim 11 , wherein at the halt point, the variable has a null value.
12. The computer program product in accordance with claim 11 , wherein at the halt point, the variable has a null value. 13. The computer program product in accordance with claim 12 , wherein annotating the one or more variables occurs by assigning a value to any of the one or more variables that are treated as a null value, but which also includes the annotated information.