<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8sh85m1d1gkg2fgh38e9749c8s, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// f : A -> Collection<A>
// trace_out collects what the function returns
// returns hashset including input
static <A> Set<A> mapLike transitiveHullOfFunction(O f, A input, O... _) {
  final Set<A> seen = optPar(_, seen := lithashset(input));
  final Int max = cast optPar max(_);
  Map trace_out = cast optPar trace_out(_);
  
  // Make pool of iterators
  final new LinkedList<Iterator<A>> pool;
  pool.add(iterator((Iterable<A>) callF(f, input)));
  int n = 0;
    
  while ping (!empty(pool) && (max == null || n < max)) {
    Iterator<A> it = first(pool);
    if (!it.hasNext()) continue with removeFirst(pool);
    
    // Get entry and check if seen already
    A entry = it.next();
    if (!seen.add(entry)) continue;

    // found new entry - return and schedule for further analysis
    Collection<A> newStuff = cast callF(f, entry);
    mapPut(trace_out, entry, newStuff);
    if (nempty(newStuff))
      pool.add(iterator(newStuff));
    ++n;
  }
  ret seen;
}

static <A> Set<A> transitiveHullOfFunction(IF1<A, Cl<A>> f, A input, O... _) {
  ret transitiveHullOfFunction((O) f, input, _);
}