bugfix: hashconsing of clauses must take context into account
fix statistics;
superposition condition must be checked on terms with the same offset;
same for demodulation
pretty printing fix