add simple and check infinite loop check for highlightings

tested with example given in review request 111754

simple heuristic: just count how many times we did not advance and allow only 4 times contexts steps

only some integer arith. + one branch in the normal case, cheap

REVIEW: 111754