Fix incorrect results in NoOverflows-BitVectors

[hbgit]

Verification tasks from SV-COMP

• ../../sv-benchmarks/c/signedintegeroverflow-regression/AdditionIntMax.i

  It hasn't nondet, thus you could improve the analysis turn off libfuzzer and klee for nondet
  the sum result (2147483647 + 1) is not allowed in int type of sizeof(int) = 4

• ../../sv-benchmarks/c/signedintegeroverflow-regression/Multiplication-2.i

  It hasn't nondet, thus you could improve the analysis turn off libfuzzer and klee for nondet
  the mult result (65536 * 32768) is not allowed in int type of sizeof(int) = 4

• ../../sv-benchmarks/c/signedintegeroverflow-regression/NoConversion.i

  It hasn't nondet, thus you could improve the analysis turn off libfuzzer and klee for nondet
  the sum result long x = 2147483647 + 1; is not allowed in long type of sizeof(long or long int) = 4