ocamlopt -o cfa2 datastruct.ml pretty.mli pretty.ml printable.ml lattice.ml hash.mli hash.ml worklistCon.mli worklistCon.ml cfa2.ml