~~~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>