- fdset_eq(+Set1, +Set2) is semidet
- True if the FD sets Set1 and Set2 are equal, i. e. contain exactly
the same elements. This is not necessarily the same as unification or
a term equality check, because some FD sets have multiple possible
term representations.