fix a problem with the way that check syntax's interval map
tracks information about the program