LLVM interate over the content of a structure accessed through pointer in KLEE code

Question

I am quite new to LLVM and KLEE and I am trying to understand whether it is possible to access the content of a structure that is referred to by a pointer. The code I am wor