There is certainly the possibility of a writable but non-configurable property, in which case it would be unobservable and mutable. But a non-configurable non-writable is indistinguishable is immutable and failing to install a thunk would not be observably different than succeeding to install a thunk. Might follow up with a more specific check in this case.