Fixed ExtractValue implementaton in KLEEBuilder

Added start and index fields in Inst structure

TODO: Fix getTuple function