string_length

string_length 
      ::= num_value_exp 

This rule is called by

-> bit_substring_fct
-> char_substring_fct