bit_value_exp ::= bit_concatenation | bit_factor
This rule is called by -> bit_concatenation -> bit_substring_fct -> string_value_exp
-> bit_concatenation -> bit_substring_fct -> string_value_exp