fixed a subtle error in analysis.js in calling constructor when the prototype of a constructor can be ConcolicValue