spec for garbage collection of Redlander objects