loop bound canonicalization

hercules_opt/src/forkify.rs

@@ -115,15 +115,14 @@ pub fn forkify_loop(
         return false;
     };
 
-    // FIXME: Make sure IV is not used outside the loop.
-
     // Get bound
     let bound = match canonical_iv {
         InductionVariable::Basic {
             node: _,
             initializer: _,
-            update: _,
             final_value,
+            update_expression,
+            update_value,
         } => final_value
             .map(|final_value| get_node_as_dc(editor, final_value))
             .and_then(|r| r.ok()),