Function storage_select 

pub(crate) fn storage_select(
    read_key: SymWord,
    write_key: SymWord,
    write_value: SymWord,
    base: SymWord,
) -> SymWord

Implements the storage_select symbolic expression helper.