A.5.7 SSA Query
See
Appendix A.8.4
for details.