Program: 10058
Project: 10058
Buggy source:
/** 
 * v_1 /     \ r_2    r_1 /         \ v_2         v_3 /  |        |  \ r_1 r_1      r_1 r_2 /    |        |    \ v_4   v_5      v_6   v_7 / |   |  \      |     | r_2 r_1 r_2 r_2  r_1   r_2 /   |   |    |    |     | v_8  v_9 v_10 v_11 v_12  v_13 A_1  A_2  A_2 A_1  A_2   A_2  inSC1: (v_8,{v_9,..,v_13}), (v_9,{v_10,v_12,v_13}),... (Pattern wiederholt sich dann fuer die A_1 bzw A_2 Blaetter), (v_4,{v_5,v_6,v_7}),... (selbiges hier) (v_2,{v_3}), (v_3,{v_2}) outSC1: (v_8,{v_11}), v_9,{v_8, v_10,...v_13}),... Pattern wiederholt sich fuer restliche Knoten gilt inSC1=outSC1 inSC2: {v_8,...,v_13}2, (v_4,{v_5, v_6, v_7}), (v_5,{v_7}), (v_6,{v_7}) (v_2,{v_3}) outSC2: {v_8,...,v_13}2, (v_5,{v_4}), (v_6,{v_4}), (v_7,{v_5, v_6}), (v_3,{v_2}) Baum ist nicht minimal. 
 */
@Test public void test5(){
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.SIMPLE3);
  ELDescriptionTree tree=new ELDescriptionTree(rs);
  Map<ELDescriptionNode,String> nodeNames=new LinkedHashMap<ELDescriptionNode,String>();
}

Fixed version (ground truth):
/** 
 * v_1 /     \ r_2    r_1 /         \ v_2         v_3 /  |        |  \ r_1 r_1      r_1 r_2 /    |        |    \ v_4   v_5      v_6   v_7 / |   |  \      |     | r_2 r_1 r_2 r_2  r_1   r_2 /   |   |    |    |     | v_8  v_9 v_10 v_11 v_12  v_13 A_1  A_2  A_2 A_1  A_2   A_2  Knowledge base: A_1\sqsubseteq A_2 r_1\sqsubseteq r_2    inSC1: (v_8,{v_9,..,v_13}), (v_9,{v_10,v_12,v_13}),... (Pattern wiederholt sich dann fuer die A_1 bzw A_2 Blaetter),  (v_4,{v_5,v_6,v_7}),... (selbiges hier) (v_2,{v_3}), (v_3,{v_2}) outSC1: (v_8,{v_11}), v_9,{v_8, v_10,...v_13}),... Pattern wiederholt sich fuer restliche Knoten gilt inSC1=outSC1 inSC2: {v_8,...,v_13}2, (v_4,{v_5, v_6, v_7}), (v_5,{v_7}), (v_6,{v_7}) (v_2,{v_3}) outSC2: {v_8,...,v_13}2, (v_5,{v_4}), (v_6,{v_4}), (v_7,{v_5, v_6}), (v_3,{v_2}) Baum ist nicht minimal. 
 */
@Test public void test5(){
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.SIMPLE3);
  ELDescriptionTree tree=new ELDescriptionTree(rs);
  Map<ELDescriptionNode,String> nodeNames=new LinkedHashMap<ELDescriptionNode,String>();
  ObjectProperty r1=new ObjectProperty(uri("String_Node_Str"));
  ObjectProperty r2=new ObjectProperty(uri("String_Node_Str"));
  NamedClass a1=new NamedClass(uri("String_Node_Str"));
  NamedClass a2=new NamedClass(uri("String_Node_Str"));
  ELDescriptionNode v1=new ELDescriptionNode(tree);
  nodeNames.put(v1,"String_Node_Str");
  ELDescriptionNode v2=new ELDescriptionNode(v1,r2);
  nodeNames.put(v2,"String_Node_Str");
  ELDescriptionNode v3=new ELDescriptionNode(v1,r1);
  nodeNames.put(v3,"String_Node_Str");
  ELDescriptionNode v4=new ELDescriptionNode(v2,r1);
  nodeNames.put(v4,"String_Node_Str");
  ELDescriptionNode v5=new ELDescriptionNode(v2,r1);
  nodeNames.put(v5,"String_Node_Str");
  ELDescriptionNode v6=new ELDescriptionNode(v3,r1);
  nodeNames.put(v6,"String_Node_Str");
  ELDescriptionNode v7=new ELDescriptionNode(v3,r2);
  nodeNames.put(v7,"String_Node_Str");
  ELDescriptionNode v8=new ELDescriptionNode(v4,r2,a1);
  nodeNames.put(v8,"String_Node_Str");
  ELDescriptionNode v9=new ELDescriptionNode(v4,r1,a2);
  nodeNames.put(v9,"String_Node_Str");
  ELDescriptionNode v10=new ELDescriptionNode(v5,r2,a2);
  nodeNames.put(v10,"String_Node_Str");
  ELDescriptionNode v11=new ELDescriptionNode(v5,r2,a1);
  nodeNames.put(v11,"String_Node_Str");
  ELDescriptionNode v12=new ELDescriptionNode(v6,r1,a2);
  nodeNames.put(v12,"String_Node_Str");
  ELDescriptionNode v13=new ELDescriptionNode(v7,r2,a2);
  nodeNames.put(v13,"String_Node_Str");
  assertInSC1(v1);
  assertInSC2(v1);
  assertIn(v1);
  assertOutSC1(v1);
  assertOutSC2(v1);
  assertOut(v1);
  assertInSC1(v2,v3);
  assertInSC2(v2,v3);
  assertIn(v2,v3);
  assertOutSC1(v2,v3);
  assertOutSC2(v2);
  assertOut(v2);
  assertInSC1(v3,v2);
  assertInSC2(v3);
  assertIn(v3);
  assertOutSC1(v3,v2);
  assertOutSC2(v3,v2);
  assertOut(v3,v2);
  assertInSC1(v4,v6,v5,v7);
  assertInSC2(v4,v6,v5,v7);
  assertIn(v4,v6,v5,v7);
  assertOutSC1(v4,v6,v5,v7);
  assertOutSC2(v4);
  assertOut(v4);
  assertInSC1(v5,v4,v6,v7);
  assertInSC2(v5,v7);
  assertIn(v5,v7);
  assertOutSC1(v5,v4,v6,v7);
  assertOutSC2(v5,v4);
  assertOut(v5,v4);
  assertInSC1(v6,v4,v5,v7);
  assertInSC2(v6,v7);
  assertIn(v6,v7);
  assertOutSC1(v6,v4,v5,v7);
  assertOutSC2(v6,v4);
  assertOut(v6,v4);
  assertInSC1(v7,v4,v6,v5);
  assertInSC2(v7);
  assertIn(v7);
  assertOutSC1(v7,v4,v6,v5);
  assertOutSC2(v7,v4,v6,v5);
  assertOut(v7,v4,v6,v5);
  assertInSC1(v8,v10,v13,v11,v9,v12);
  assertInSC2(v8,v10,v13,v11,v9,v12);
  assertIn(v8,v10,v13,v11,v9,v12);
  assertOutSC1(v8,v11);
  assertOutSC2(v8,v10,v13,v11,v9,v12);
  assertOut(v8,v11);
  assertInSC1(v9,v10,v13,v12);
  assertInSC2(v9,v10,v13,v11,v12,v8);
  assertIn(v9,v10,v13,v12);
  assertOutSC1(v9,v10,v13,v11,v12,v8);
  assertOutSC2(v9,v10,v13,v11,v12,v8);
  assertOut(v9,v10,v13,v11,v12,v8);
  assertInSC1(v10,v13,v9,v12);
  assertInSC2(v10,v13,v11,v9,v12,v8);
  assertIn(v10,v13,v9,v12);
  assertOutSC1(v10,v13,v11,v9,v12,v8);
  assertOutSC2(v10,v13,v11,v9,v12,v8);
  assertOut(v10,v13,v11,v9,v12,v8);
  assertInSC1(v11,v10,v13,v9,v12,v8);
  assertInSC2(v11,v10,v13,v9,v12,v8);
  assertIn(v11,v10,v13,v9,v12,v8);
  assertOutSC1(v11,v8);
  assertOutSC2(v11,v10,v13,v9,v12,v8);
  assertOut(v11,v8);
  assertInSC1(v12,v10,v13,v9);
  assertInSC2(v12,v10,v13,v11,v9,v8);
  assertIn(v12,v10,v13,v9);
  assertOutSC1(v12,v10,v13,v11,v9,v8);
  assertOutSC2(v12,v10,v13,v11,v9,v8);
  assertOut(v12,v10,v13,v11,v9,v8);
  assertInSC1(v13,v10,v9,v12);
  assertInSC2(v13,v10,v11,v9,v8,v12);
  assertIn(v13,v10,v9,v12);
  assertOutSC1(v13,v10,v11,v9,v8,v12);
  assertOutSC2(v13,v10,v11,v9,v8,v12);
  assertOut(v13,v10,v11,v9,v8,v12);
}