pub fn is_serial(graph: &[NQuin], accesses: u64, worlds: &[u64]) -> bool
Serial (axiom D: □φ→◇φ): every world accesses at least one world.