Recursively check blocks through jump instructions.