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

...s.pc -- only 16 bytes of array a were initialised in Query 2, but values of 17 bytes were later required for comparison.