ClauseCleaner: refactored getIndicesHash
SimpleClause: commented sysout
test.txt: added different cases with 3 and 1