Just tried it on the two examples I provided. It doesn't remove conditionals, which was basically my whole point

FWIW, I don't think it can without assuming the input lies in a certain range.