Merge "fix(runtime): decrease struc rec size for CBMC build" into integration