let help = "keep annotations as long as the used variables are declared and the accessibility of the program point is preserved (even if the value of the data is not preserved)"