そうだなぁ。そうすると -remove-runtime-asserts が assert ではなく precondition を消すためのものというのが明確だといいかなぁ。