Module Absint__AbstractInterpreter.VisitCount