concrete syntax: uninitialized local allocation for structs.
don't depend on -fhpc, make use of any and all Ticks
Merge branch 'master' of github.com:GaloisInc/ivory
Merge branch 'master' into ivory-model-check