Changed to now consider all possible S nodes, not just NP