strip-assertions