modification `is_not_terminal'