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.sid (LvExpHash.create 4);
  time "compute" AE.compute [first_stm]
  with Failure "hd" -> if !debug then Cilmsg.debug "fn w/ no stmts?"
  | Not_found -> if !debug then Cilmsg.debug "no data for first_stm?"