Build an implication constraint if there is a non-trivial
refinement, even if there are no other 'given' constraints.

Test = gadt/set.hs