Added possible comparison between the generated conjectures and the current ones.
Added possible comparison between the generated conjectures and the current ones.

Ignore-this: 4f5e5fa201e5c8f4f4d949cd36b4382a

darcs-hash:20120627042256-3bd4e-2e4beb4db7e23bb477432d59b15b4ce0b054676a.gz

asr/fotc,asr/fotc