Updated specification of the translation of B instructions to match the informal specification.