Rewrite SMG graph structure to support symbolic values for sizes, offsets
added SMG enhancement labels
assigned to @vasilyev
added refactor label