if (postInstruction != null)
        {
            if (DEBUG)
            {
                System.out.println("  Post-inserted "+postInstruction.toString(newOffset));