add test for Possibly Immutable