added sameidall option to generated inequalities for ALL arguments of literals with same predicate.