Insertion of refutations working. First stage of profiling ready.