reasonable::reasoner
pub fn get_unique(src: &Vec<(u32, (u32, u32))>, rv: &mut Vec<(u32, (u32, u32))>)
removes from rv the triples that are in src. src is sorted