Added a clarification regarding SIL4 code generation in the Classical B toolchain.