Program: 135594
Project: 135594
Buggy source:
@Test public void basics(){
  assertEquals(Parser.parse(null),null);
  assertEquals(Parser.parse("String_Node_Str"),null);
  assertEquals(Parser.parse("String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str"));
  assertEquals(Parser.parse("String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str"));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Negation(new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Negation(new Predicate("String_Node_Str","String_Node_Str")));
}

Fixed version (ground truth):
@Test public void basics(){
  assertEquals(Parser.parse(null),null);
  assertEquals(Parser.parse("String_Node_Str"),null);
  assertEquals(Parser.parse("String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str"));
  assertEquals(Parser.parse("String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str"));
  assertEquals(Parser.parse("String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str"));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Disjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Conjunction(new Predicate("String_Node_Str","String_Node_Str"),new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Negation(new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Negation(new Predicate("String_Node_Str","String_Node_Str")));
  assertEquals(Parser.parse("String_Node_Str"),new Negation(new Predicate("String_Node_Str","String_Node_Str")));
}