Behandlung von noshare hinzugefuegt, indem Funktionen von noway verdoppelt und umbenannt wurden. reverse() wird fast korrekt analysiert, aber jetzt fehlt die korrekte Doppelbehandlung von a.n = b, bei der oder-funktionen wahrscheinlich mitgeschleppt werden muessen. das wird kompliziert, mist.
Behandlung von noshare hinzugefuegt, indem Funktionen von noway verdoppelt und umbenannt wurden. reverse() wird fast korrekt analysiert, aber jetzt fehlt die korrekte Doppelbehandlung von a.n = b, bei der oder-funktionen wahrscheinlich mitgeschleppt werden muessen. das wird kompliziert, mist.

bagohart/acyclic-heap-theory-module,bagohart/acyclic-heap-theory-module,bagohart/acyclic-heap-theory-module