method register_blind_var name role_id =
    let new_string = (name^"_"^(string_of_int ident_number)) in
      this#register_name new_string role_id