clone_estate_cast
left_sm->state = clone_estate_cast(get_type(left), right_sm->state);
other_sm->state = clone_estate_cast(get_type(left), left_sm->state);
set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state));
struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state);