Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc -- only 16 bytes of array a were initialised in Query 2, but values of 17 bytes were later required for comparison.
Merge pull request #43 from hpalikareva/test-large-ints

Fixed nondeterministic behaviour in test case ./test/Solver/LargeInteger...