Function is_symmetric 

pub fn is_symmetric(graph: &[NQuin], accesses: u64, worlds: &[u64]) -> bool

Symmetric (axiom B: φ→□◇φ): wRv ⇒ vRw.