error: cannot find macro `__kani__workaround_core_assert` in this scope