Unification with a bottom term always succeeds.