pub fn is_reflexive(graph: &[NQuin], accesses: u64, worlds: &[u64]) -> bool
Reflexive (axiom T: □φ→φ): every world accesses itself.