stm32f4 build: add cbmc location.
ivory smaccmpilot: improve constant folding (remove ASSERT(true)).