It always walks to Block nodes first. Bug-Fix that prevents walking
from floating nodes to blocks.
Inserted experimental code to guarantee that CallBegin Nodes are put
on the LoopTree first (before the corresponding CallEnd node) but
commented it out through the macro "EXPERIMENTAL_LOOP_TREE" for now.

[r3013]