Add if-then-else tactic from Jonathan Leivent