@Override
      protected void beforeInstruction(Instruction instruction) {
        afterStates.clear();
        killedStates.clear();
      }
@Override
      protected void beforeInstruction(Instruction instruction)