unsat empty core
contrato oseañ

Conflicts:
	originalCopy.java
	tests/roops/core/objects/SinglyLinkedList.java
ep

Conflicts:
	bin/roops/core/objects/sequential/SinglyLinkedList.java_contains
	tests/roops/core/objects/SinglyLinkedList.java
working unsat core