Instruments NautyMethod.java