def test__key(): """Test key for hash function.""" C, R, V = ['C'], [RelationSymbol('R', 1)], ['V'] vocabulary = Vocabulary(C, R, V) formula = Formula(vocabulary, 'R', 'C', 'V') assert (hash(vocabulary), 'R', ('C', 'V')) == formula._key()