DEFINITIONS
  EXTERNAL_FUNCTION_SCCS(T) == (T<->T) --> POW(POW(T));
  SCCS(relation) == {}
  // an external function to compute the Strongly Connected Components of a graph/relation
  //  example: SCCS({1|->2,2|->1,2|->3,3|->4,4|->3}) = {{1,2}, {3,4}};
