patch to handle implicit undefined return from a constructor
fixed  a bug in concolic testing when input type is object and one of its field is a number.