We encountered the bug when measureing coverage of:

RBChangeMethodNameRefactoring >> hasPermutedArguments
    oldSelector numArgs = newSelector numArgs ifFalse: [^true].
    1 to: oldSelector numArgs
	do: [:i | (permutation at: i) = i ifFalse: [^true]].
    ^false

Notice that this method has two times ifFalse: [^true].

Initially both blocks were uncovered. When covering the second block with true the first one was collected as covered.
We were able to correctly collect the second one as covered when adding halt statement in the first block.

This seems to be related to pattern matcher, since changing the block did the trick.

Proposed solution: use path to node instead of node for collecting nodes.