Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces

We apply a method of Todorcevic in showing that PFA(S)PFA(S) implies that the coherent Souslin tree S   forces various strengthenings of the assertion that every locally countable space of size ℵ1ℵ1 that has a countably tight compactification must be σ-discrete.