Add the assertion for instance of.

It would by nice if you could implement my assertion for instance of.