More cleanup.
Multiple control flow fixes and optimization.

Traverse of binary operator wasn't functional, it never entered
defined function. Instead of that there are TraverseBinLAnd and
TraverseBinLOr and they do not spawn new object rather use current.

Some refactor in prefetch method.