Interval temporal logic model checking: The border between good and bad HS fragments