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

since the df optim backward optim has been disabled, elimination is in a fixpoint now so elim chains are taken into account

use ghost variables instead of existential variables to avoid read / write capture problems with variable reuse