Rustsymex.StatKeys
val load_accesses : string
val loads_from_store : string
val function_calls : string