Function insert_refresh_strategies 

fn insert_refresh_strategies<'a, T: AstInfo + 'a>(
    info: &mut BTreeMap<&str, Value>,
    options: impl Iterator<Item = &'a Option<WithOptionValue<T>>>,
) -> Result<(), String>

Records the REFRESH options among options as refresh in info, one entry per option in statement order.