Function kept_value 

pub(super) fn kept_value(
    previous: &Machine,
    state: &StateDef,
    next: &Program,
) -> Option<Value>

The value state, declared by the program next, keeps from previous, if any.