Confessions of a static timing analysis tool