Updating crate `stainless#0.0.2`