diff --git a/Results/basesecantsolver_true_returnValue != null_true_False_False_1 b/Results/basesecantsolver_true_returnValue != null_true_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..abe804a9bcc15bbcdc2aecd7465d2a79c26fa925
--- /dev/null
+++ b/Results/basesecantsolver_true_returnValue != null_true_False_False_1	
@@ -0,0 +1,14 @@
+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: returnValue != null
+postCondPrimType: true
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+Total number of mutants: 207
+Number of mutants in which we found an error: 2
\ No newline at end of file
diff --git a/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1 b/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..146a79efa217f6507a6c97ed76ee95bdbddcd903
--- /dev/null
+++ b/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1	
@@ -0,0 +1,34 @@
+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: true
+postCondPrimType: returnValueVar == returnValue
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+197 isSequence1
+196 isSequence1
+195 isSequence1
+194 isSequence1
+193 isSequence1
+192 isSequence1
+191 isSequence1
+190 isSequence1
+189 isSequence1
+188 isSequence1
+152 midpoint
+151 midpoint
+150 midpoint
+149 midpoint
+148 midpoint
+147 midpoint
+146 midpoint
+145 midpoint
+144 midpoint
+143 midpoint
+Total number of mutants: 207
+Number of mutants in which we found an error: 22
\ No newline at end of file
diff --git a/Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1 b/Results/gradientfunction_true_returnValue != null_true_False_False_1
similarity index 73%
rename from Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1
rename to Results/gradientfunction_true_returnValue != null_true_False_False_1
index 5f12fa9d40a19e07e3ec668b7d38efc1447e690a..93df7e345185910a622a41f6c16eca3f9f9e3340 100644
--- a/Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1	
+++ b/Results/gradientfunction_true_returnValue != null_true_False_False_1	
@@ -1,7 +1,7 @@
 testFile: gradientfunction
 postCondVoid: true
-postCondRefType: returnValueVar == returnValue
-postCondPrimType: returnValueVar == returnValue
+postCondRefType: returnValue != null
+postCondPrimType: true
 ignoreLibMethods: False
 ignoreMainMethod: False
 nrOfUnroll: 1
diff --git a/Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1 b/Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1
similarity index 65%
rename from Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1
rename to Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1
index a4cce7ea4bacbe5964a2e2cac6ebcceb0d587e96..a1a43037792df9afa1afefca458403abfcdf2751 100644
--- a/Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1	
+++ b/Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1	
@@ -1,8 +1,8 @@
 testFile: gradientfunction
 postCondVoid: true
-postCondRefType: returnValue != null
+postCondRefType: true
 postCondPrimType: returnValueVar == returnValue
-ignoreLibMethods: True
+ignoreLibMethods: False
 ignoreMainMethod: False
 nrOfUnroll: 1
 erronous mutations detected:
@@ -10,6 +10,5 @@ erronous mutations detected:
 5 value
 4 value
 2 value
-11 value
 Total number of mutants: 26
-Number of mutants in which we found an error: 5
\ No newline at end of file
+Number of mutants in which we found an error: 4
\ No newline at end of file
diff --git a/Results/iterator_true_returnValue != null_true_False_False_1 b/Results/iterator_true_returnValue != null_true_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..67c1037eeab76a56b83af0a764850fc244f3a6c9
--- /dev/null
+++ b/Results/iterator_true_returnValue != null_true_False_False_1	
@@ -0,0 +1,23 @@
+testFile: iterator
+postCondVoid: true
+postCondRefType: returnValue != null
+postCondPrimType: true
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+42 advance
+41 advance
+39 advance
+32 advance
+31 advance
+26 value
+25 value
+23 value
+22 value
+17 key
+16 key
+14 key
+13 key
+Total number of mutants: 43
+Number of mutants in which we found an error: 13
\ No newline at end of file
diff --git a/Results/iterator_true_true_returnValueVar == returnValue_False_False_1 b/Results/iterator_true_true_returnValueVar == returnValue_False_False_1
new file mode 100644
index 0000000000000000000000000000000000000000..f0e76e39dc9bd70a125c0dadfb7fed2c47967375
--- /dev/null
+++ b/Results/iterator_true_true_returnValueVar == returnValue_False_False_1	
@@ -0,0 +1,30 @@
+testFile: iterator
+postCondVoid: true
+postCondRefType: true
+postCondPrimType: returnValueVar == returnValue
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+9 hasNext
+8 hasNext
+7 hasNext
+6 hasNext
+42 advance
+41 advance
+39 advance
+32 advance
+31 advance
+28 value
+26 value
+25 value
+23 value
+22 value
+19 key
+17 key
+16 key
+14 key
+13 key
+10 hasNext
+Total number of mutants: 43
+Number of mutants in which we found an error: 20
\ No newline at end of file
diff --git a/Settings.hs b/Settings.hs
index 351ed5df8c3d3b9724d6d1b0334115e52206bb43..cb8f58de15de0c0a3b266b5914d09df822edb6c9 100644
--- a/Settings.hs
+++ b/Settings.hs
@@ -3,12 +3,12 @@ module Settings where
 import System.FilePath(joinPath)
 
 testFile, postCondVoid, postCondRefType, postCondPrimType :: String
-testFile = "Vector"
+testFile = test3
 
 -- The post condition may depend on the type of the method we are looking at
 postCondVoid = "true"
-postCondRefType = heur2
-postCondPrimType = heur2
+postCondRefType = heur1
+postCondPrimType = heur0
 
 -- When ignoreLibMethods is true, library calls will simply be ignored. When false, we consider library methods but make no assumptions about them (so the WLP will be true)
 -- To prevent insanely long calculation times, we may decide to not calculate the wlp of the main method when ignoring library methods
diff --git a/Tests/GradientFunction.class b/Tests/GradientFunction.class
index 2f0890ce7ada774b1c0eae5a4512209670922587..8648b1d5a58f7ba2bed2dc561cb18398a6673006 100644
Binary files a/Tests/GradientFunction.class and b/Tests/GradientFunction.class differ