A Methodology for Classifying Search Operators as Intensification or Diversification Heuristics. (13th February 2020)