Code Editor : verbose_state_checks