A.5.7 SSA Query

See Appendix A.8.4 for details.