mutation testingを知らないんですが、このREADMEのスクショの、コメント文で書いてある式が検査されるんですか？