added kani submodule