Annotations
SR refinement process is driven by code reading
That is, as constructs are detected in the source code, they are explicitly mapped to domain concepts
Hence, collected annotations can feed refinement AND
Annotations can be updated with the corresponding application concepts