teach the jit how to checkarity. might be wrong.