val find : prog:Tiger_absyn.t -> unit