Searching in test/subset/data/expected/instance_no_double_free