Implement IR instanceof