This is probably more along the lines of what you were thinking about for the approach based on SSA form: https://hal-lara.archives-ouvertes.fr/hal-02102286/fi

This is probably more along the lines of what you were thinking about for the approach based on SSA form: https://hal-lara.archives-ouvertes.fr/hal-02102286/file/RR2006-13.pdf https://hal-lara.archives-ouvertes.fr/hal-02102286/file/RR20...