fixed  a bug in concolic testing when input type is object and one of its field is a number.