'x instanceof A' type guard can be unsound in one of the following two cases:

1. Type of x is not related to 'A'
2. Type of x is 'A' or a subtype of 'A'