Datomic pointer analysis - new schema