Add support of `if (x instanceof y)`

[cescoffier]

At the moment, there is no specific method to implement:

if (x instanceOf y) {
    // true branch
} else {
   // false branch
}

There is a checkCast but that's not testing, just doing the cast.