towards new, nicer property format  - parsing of new properties should work now  - next: modifying the instrumentation to work with the new description
towards new, nicer property format
 - parsing of new properties should work now
 - next: modifying the instrumentation to work with the new description

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral