Removed useless neq predicate in deconfliction domain