Added hash key to unit clause
test