リファクタの途中よりリファクタの前と後で結果が変わらないことを保証してほしいんだけど