Added asserts to is_set_with