working on visualization
type coercion analysis now uses sourcemaps
test cases for problems related to objects created in uninstrumented code