Ignores checked keyword

[FabianNitsche]

Exceptional does not recognize that the following code may throw an OverflowException:

/// <exception cref="OverflowException">Why.</exception>
public int Add(int x, int y)
{
    checked
    {
        return x + y;
    }
}

Exceptional rather informs me that no such exception is thrown.