Added clarification regarding bidirectional traceability in the Classical B toolchain.