Structs

  • To avoid having to add a new declaration for each new version of a variable we track all declarations as part of the CFG header.
  • A structure used to track declared variables.