vra: denote closed intervals by angle brackets
vra: rename LoopFounder -> LoopFinder
vra: minor white-space changes