[infinite_backtracking.tentative.html]
  expected: TIMEOUT