_:n6db9b4bcb636429fbcedb3da7f1a6798xb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://versioncontrolseidl.in.tum.de/petter/llvm-abstractinterpretation/-/commits/156593d38920740bfb06d7e236e504cc5a84e6c2>