checking that struct does not directly contain itself
cycle detection for structs.
fixed the build
fixing the build, improving the arrays and structures in CBMC analyses
Merge remote-tracking branch 'origin/master'
fixing the build,
merged with master