@xiangli-cmu Wrapping an unexported property with a getter is overkill. You can just check the property directly.