get_orig_estate
state = get_orig_estate(sym->ident->name, sym);
struct smatch_state *get_orig_estate(const char *name, struct symbol *sym);