Removed a TODO about CFG bounds.