text:   function testcase() 
    {
      var obj = {
        
      };
      Object.defineProperty(obj, "property", {
        writable : undefined
      });
      var beforeWrite = obj.hasOwnProperty("property");
      obj.property = "isWritable";
      var afterWrite = (typeof (obj.property) === "undefined");
      return beforeWrite === true && afterWrite === true;
    }
    {
      var __result1 = testcase();
      var __expect1 = true;
    }
    