[RESEARCH] Lazart paper

# Description
Hvilke overvejelser laver de med properties når de går fra llvm -> klee (ikke hvordan det bruges men mere generelt)

https://hal.univ-grenoble-alpes.fr/hal-01229274v1/document

# Requirements for Research
- [ ] All literature is added in Zotero
- [ ] Some Other Requirement
