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
fixed short for TUPLE. Not finished; but at least the TUPLE parents list is correctly generated.