Anastasios Antoniadis thesis - Datomic pointer analysis