compatabe printing
compatible printer
Started to work on the kcheck interface.
Updates to the pdmc front
Make distinctions between comutative and noncomutative collections for semantic equals

For comutative collection we consider the children as a multiset
For noncomutative collections we consider the children as a set
More stuff added to kcheck user interface.
Solved debugger-gui issue

If fist reduce command generate same node as initial node, when adding the node to states map it removed the first node sice states map is a DualHashBidiMap.
Solved by adding the node only if it is not equal to the initial node
indexing: gave up on merging the branches. added files manually
indexing: added programs and scripts for testing indexing on IMP
indexing: (1) added programs for testing indexing on Lambda
(2) fixed minor bugs in Unifier and AddInjections classes
indexing: removed unneeded files
indexing: got rid of bug in index retrieval
indexing: small cleanup
indexing: added TODOs
indexing: added files to test indexing on simple, started making it work
kcheck - improved a bit the user interface; added is#Id predicate for K2SMTLib translation.
Add config_java.xml
refactored java rewrite engine tests out of the main tests/config.xml
added evaluation of functions in kompile for the java backend; fixed some sorting bugs
fixed partial evaluation to work until a fixpoint is reached; added a hook for modInt