add instanceof-kind checking