Sink the isa into the assert