sanity_check
static int sanity_check(struct solver_state *xrs, struct alloc_requests *req)
static bool sanity_check(struct ce_array *ca)