[semidet]fdset_eq(+Set1,
+Set2)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.