Function everyone_knows 

pub fn everyone_knows(
    graph: &[NQuin],
    agent_accesses: &[u64],
    world: u64,
    prop: u64,
    holds: u64,
) -> bool

“Everybody knows” prop at world: K_i φ holds for every agent in agent_accesses.