Function all_beliefs_of 

pub fn all_beliefs_of(quins: &[NQuin], agent_did: u64, out: &mut [u64]) -> usize

Write the propositions that agent_did believes via any modality into out.

Zero-heap: see objective_knowledge_of. Returns the count written.