fixed saddo and saddovf in kleebuilder

debugging messages still in this patch
TODO: extractvalue in KLEEBuilder -- not correct way of extracting