remove dead precondition code
cleanup Store and friends and add test for refcounting on store