let computeLiveness fdec =
  LiveFlow.StmtStartData.clear ();
  UD.onlyNoOffsetsAreDefs := false;
  all_stmts := [];
  let a = null_adder fdec in
  L.compute a