This is a lot of copy & paste. Please merge `CheckDefaultValue` with `CheckExampleValue` into one and do the checking in one `for` comprehension