Sets up Kani::Crawler and adds initializer