aux functions
add model_calloc
loop dessolve
strcpy-like alarms
Merge branch 'master' of github.com:skcho/zooberry
benchmarks for unsoundness
Merge branch 'master' of github.com:skcho/zooberry
unsoundness
utils for unsoundness