dw_type_t subtype = current_var1->type;
res =
compare_areas_with_type(current_var1->address, snapshot1, mc_get_snapshot_region(current_var1->address, snapshot1),
dw_type_t subtype = current_var1->type;
res =
compare_areas_with_type(current_var1->address, snapshot1, mc_get_snapshot_region(current_var1->address, snapshot1),