called-set based back-edge detection