strengthen condition and add assertion
1 file changed