* tests/regression/jasmin/test_verify_fail_merge_init_nullpointer.j: