Some more assertions in the cuke step