Make the building of SPEC theorems more lazy (when using arm_progLib.arm_spec_hex).