Daikon doesn't respect not_ordered flag

[mernst]

Originally reported on Google Code with ID 7

Daikon doesn't seem to be respecting the not_ordered flag.

For example, from the Daikon user manual:

SeqSeqIntGreaterEqual
Represents invariants between two sequences of long values. If order matters for each
variable (which it does by default), then the sequences are compared lexically. Prints
as ‘x[] >= y[] lexically’.
If the auxiliary information (e.g., order matters) doesn't match between two variables,
then this invariant cannot apply to those variables. 

I have two sequences with the not_ordered flag declared for both yet Daikon still prints
this invariant.

Attached are the .dtrace file, the resulting .invs file, the daikon-settings.txt file
that has only the SeqSeqIntGreaterEqual

Reported by melonhead901 on 2012-04-13 10:59:12