Unification of if arguments