let computeAEs fd =
try let slst = fd.sbody.bstmts in
let first_stm = List.hd slst in
(*time "make_var_hash" make_var_hash fd;*)
AvailableExps.StmtStartData.clear ();
AvailableExps.StmtStartData.add first_stm (LvExpHash.create 4);
time "compute" AE.compute [first_stm]
with Failure "hd" -> if !debug then Kernel.debug "fn w/ no stmts?"
| Not_found -> if !debug then Kernel.debug "no data for first_stm?"