code: private void pushSafeDebug(String debugInfo) {
          getFrame().pushValue(new Taint(Taint.State.SAFE).setDebugInfo(debugInfo));
      }
docs: Push a value to the stack
  The information passed will be viewable when the stack will be print. (See printStackState())
  @param debugInfo String representation of the value push