Function contract 

pub fn contract(set: &[Belief], belief: Belief, out: &mut [Belief]) -> usize

AGM contraction K − φ: remove belief if present (vacuous if absent). Writes the result into out, returns its length.