if (compare_areas_with_type(state, current_var1->address, snapshot1, snapshot1->get_region(current_var1->address),
current_var2->address, snapshot2, snapshot2->get_region(current_var2->address),
current_var1->type, 0) == 1) {
if (compare_areas_with_type(state, current_var1->address, snapshot1, snapshot1->get_region(current_var1->address),
current_var2->address, snapshot2, snapshot2->get_region(current_var2->address),
current_var1->type, 0) == 1) {