Add 'inferBounds' method to infer the bounds of current node in CFG.