load rhs value if the value is allocated by alloc inst
name the initialized variable
add interface for aggregates in variable_table