fixed a subtle bug in "instanceof" operator.  The bug happens when some f.prototype is assigned a ConcolicValue.
tizen/calculator now works with instrumented jquery, peg, and cal.