Making immediate:ne a derived predicate.

Otherwise, this would lead to a cartesian-product computation that would
produce a huge output and take a lot of time.