Add assertion to verify the pre-condition in the comments.
1 file changed