added support for bit vector operations and pre processed the test files

HelperFunctions.hs

...Value != null_returnValueVar == returnValue_False_False_1

...nValue != null_returnValueVar == returnValue_True_False_1

...= returnValue_returnValueVar == returnValue_False_False_1

Results/gradientfunction_true_true_true_False_False_1

...Value != null_returnValueVar == returnValue_False_False_1

Results/iterator_true_true_true_False_False_1

Settings.hs

Tests/GradientFunction.class

Tests/GradientFunction.java

Tests/Iterator.class

Tests/Iterator.java

Tests/OpenIntToDoubleHashMap.java

Tests/arrays1.class

Tests/arrays1.java

Verifier.hs