add an exhaustivity parameter to Branch constructor in Machine Code to handle C switch default case optimization in case of a singleton enum

ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable