~~~cpp
dfdffdfdfdfd
~~~

<div class='mermaid'>
graph TD
subgraph analysis
client-.->storage[Gathering annotations]
library-.->storage
storage-->solver
solver==>library
end

subgraph main
client[Client Code]-->library[Library code]
end

</div>