Module optimizations

Modules

• branch_inversion
• cancel_ops
• config
• const_folding
• match_optimizer
• remappings
  Remove unnecessary remapping of variables optimization. At each convergence, we have one or more branches with remappings of variables. A destination variable dest introduced by the remappings must be remapped at every branch b_i by mapping a source variable src_i->dest. We require that every use of dest refers to the correct src_i. This means that the remappings to dest are not necessary in these cases:
• reorder_statements
• return_optimization
• scrub_units
• split_structs
• strategy
• var_renamer