Add assertion to verify the pre-condition in the comments.