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