}
public void testCrossoverIFP() throws Exception {
ToyClock clock = new ToyClock();
Store store = getStoreImpl(clock);
Source source0 = new SourceImpl("http://example.org/graph-source0");
Source source1 = new SourceImpl("http://example.org/graph-source1");
Source source2 = new SourceImpl("http://example.org/graph-source2");
Source source3 = new SourceImpl("http://example.org/graph-source3");
Model model0 = modelWithStatements("_a dc:subject 'hello'; _a http://xmlns.com/foaf/0.1/mbox 'm'; _a http://xmlns.com/foaf/0.1/mbox 'n'");
Model model1 = modelWithStatements("_a rdfs:label 'hi'; _a http://xmlns.com/foaf/0.1/mbox 'm'");
Model model2 = modelWithStatements("_a rdfs:comment 'foo'; _a http://xmlns.com/foaf/0.1/mbox 'n'; _a http://xmlns.com/foaf/0.1/mbox 'o'");
Model model3 = modelWithStatements("_a rdfs:comment 'bar'; _a http://xmlns.com/foaf/0.1/mbox 'o'");
FCAGraph graph0 = new FCAGraphImpl(model0);