Gianni : Test examples for venn diagrams with the venn library