LOGIC-90: <=fd constraint could diverge

The `-relevant?` implementation for `<=fdc` was wrong. If we have two
singleton domains we just check that they are not <= to each
other. However we can also discard the constraint if we have
`interval-<`. Added test case.