Do not accept arrays of variable size with static lifetime#1146

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:fix-525tautschnig/cbmc:fix-525Copy head branch name to clipboard