added sameidall option to generated inequalities for ALL arguments of literals with same predicate.
fix for sameidall mod
fix for sameidall mod
fix for sameidall mod (renamed to samename)
Merge branch 'dev'