I/O efficient bisimulation partitioning on very large directed acyclic graphs