Do we really need to access the ``pos`` inside a ``askOption``? At any rate, it would be better to do it in one single call, i.e., you could have

``(overloaded, treePos) <- pc.askOption { () => (tree.symbol.isOverloaded, tree.pos) }``