Add ‘if then else’ homomorphism.