Resulting complexity class for allowing two passes over witness in NL?
Any finite number of passes will still give you NL. Here is why two passes give you NL &mdash; the general case is very similar. You can guess the state of the work tape after the first pass and them simulate the two passes in parallel. In the end you verify that the state of the work tape after the first pass in indeed what you guessed earlier.