cube_contains_v0 rewrite