Though Jalangi does not support EcmaScript 5, fixed a bug related to defineProperty.  See tests/unit/box2dmin2.js