IMprove congruence graph and proof production sections