_:nb49c397354f142de90a65d6ddda3dcf3xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/BreadcrumbList>
<https://gitlab.mpi-sws.org/iris/iris/-/tree/97bd63aa38901c0f90d9f789bbc23d55e59d6061/theories/heap_lang/lib/barrier>