Local theorems don't show up in search results

```
Theorem foo[local]:
  1 + 2 + 3 = 6:num
Proof
  fs []
QED

(* the following don't print anything *)
print_match [] “_ = 6:num”;
print_find "foo"; 
```