Made semilattice_manager.cc not include unittest headers.