Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-