Searching in drlvm/src/test/verifier_empty_init