Searching in runtime/verifier