assert_one_to_one function

Is There a One to One Mapping between Variables?