Structs

Enums

Functions

  • Tries to merge the condition and the previous node into one node eg: a := b > c; d := a == 1 => d := b > c
  • Simplifies trivial conditions
  • Checks for a write to id after node and returns with false If it is read before a write. Also returns false if no further write in this branch exists