Move the initialization to the Analysis library as well as the pass.

This was (somewhat distressingly) only caught be the ocaml bindings
tests...