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