By: ValentinHirschi <valentin.hirschi@gmail.com>
Preserve conditional successors and resolve factored domain guards