init compression function for minimization (used for invariant logging and contract generation)
init compression function for minimization (used for invariant logging and contract generation)

mebsout/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2,mebsout/kind2,mebsout/kind2,tinelli/kind2,tinelli/kind2,daniel-larraz/kind2,tinelli/kind2,tinelli/kind2