Rewrite basic SMG structures

Rewrite SMG graph structure to support symbolic values for sizes, offsets