Trivial clean-up.
Remove TODO about eliding direct self-recursion, since in practice it doesn't happen.
Move InstVisitor subclass declaration to the cpp file.
Don't short-circuit operand analysis, since unanalyzed operands would be treated as pointing to nothing if queried.
Implement rewrite optimization for infinite recursion of enumerate operations. Fixes severe performance bug when there are many paths back to the top.