added support for 1-bit overflow instruction SAddOvf

TODO : fix extractval implementation in KLEEBuilder