Remove bugs and make CongruenceCompressor more efficient by calculating premiseAxioms differently