get_terminated_state
state = get_terminated_state(expr->right);
state = get_terminated_state(arg);
if (get_terminated_state(expr) == &terminated)