test_inequalities: updated for set difference
Allowed difference for finiteset with symbols