let descr = "do not record values for any of the statements of the program"