Kani CI - passing Kani CI passing