Did we decide to approve the removal of annotatedCodeLocation.taintKind ? It’s the only “semantic” property remaining on annotatedCodeLocation , once we remove kind , values , targetLocation , and targetKey . I’m going to merge the changes as approved , meaning that taintKind is gone (because there’s no amendment in the meeting minutes about this). We can bring it back if necessary. Thanks, Larry