merge_estates
return merge_estates(s1, s2);
add_merge_hook(my_size_id, &merge_estates);
add_merge_hook(my_id, &merge_estates);
struct smatch_state *merge_estates(struct smatch_state *s1, struct smatch_state *s2);
add_merge_hook(my_id, &merge_estates);
add_merge_hook(my_id, &merge_estates);
add_merge_hook(my_id, &merge_estates);
add_merge_hook(my_id, &merge_estates);
add_merge_hook(my_id, &merge_estates);
add_merge_hook(my_strlen_id, &merge_estates);
new = merge_estates(old, add);
new = merge_estates(old, add);
new = merge_estates(old, add);