Autogenerated contracts (failed)

[vonaka]

Autogenerated contracts and autogenerated harness for sift_down (except for manually added kani::unwind and manually changed bound on number of added elements). The harness fails with

Check that array_replace((const void *)(char *)dst, ...) is allowed by the assigns clause

However, if only one element is added to the heap, the test succeeds.