* tests/regression/jasmin/test_verify_fail_merge_different_new_objects.j: