LOGIC-36: another old unifier issue since resolved in 0.8.0. Adding a
test to document.