Only update if flags are marked as \e dirty. Generally if any member Varnode possesses the property, \b this HighVariable should inherit it. The Varnode::typelock field is not set here, but in updateType().
Source from the content-addressed store, hash-verified