Revise documentation on all_critic_ok()