	@Test
  public void testFastDiagWithDataset1() throws FileNotFoundException, DiagnosisException {

			Set<Constraint> constraintsSetC = new LinkedHashSet<Constraint>();
			Set<Element> decisionsVar = new LinkedHashSet<Element>();
			String fileName = UtilsForTest.getTestDataset1(constraintsSetC, decisionsVar);
			FastDiag fastDiag = new FastDiag(fileName, constraintsSetC, ConflictDetectionAlgorithm.FastDiag, null);
			Set<Constraint> diag = fastDiag.getPreferredDiagnosis(constraintsSetC, false);

			assertTrue(!diag.isEmpty());
			assertEquals(diag.size(), 2);

			// the expected output is D = { (c1 {x1 = 1}) (c2 {x2 = 2}) }
			Constraint c1 = new ArrayList<>(constraintsSetC).get(0);
			Constraint c2 = new ArrayList<>(constraintsSetC).get(1);
			assertSame(c1, new ArrayList<>(diag).get(0));
			assertSame(c2, new ArrayList<>(diag).get(1));
	}