This is again another example of a potentially wrong PC usage. We obtain a ``Tree`` ref and later on perform some compuation inside an ``askOption``. However, between the two calls, a background compilation run may have affected the original ``Tree``. Looks like we have these kind of potential race conditions in many places. Don't think we should fix it here.