CBMC optimizations to analyze only relevant files
major fixes - now all analyses are implemented homogeneously
Merge remote-tracking branch 'origin/master'