eval usage test.  iids are not working.
Fixed a bug in eval usage analysis
issue #50.  Modeled defineProperty by concretizing the third argument of defineProperty by 1-level.