delete LOCK only if it exists
oh, ECMA seems to define the semantics of attribute contracts only for self-initialized attributes
corrected name
attributes and once functions always should have a result type