Did you know ... Search Documentation:
Predicate store_new/1
 store_new(-H:store) is det
Unifies H with an empty store.