Added check_corretness to hammer