Improve congruence graph, proof production, pebbling and conclusion