Added a few more "TODOs" to apkes.c representing more specific
and project-related APKES invariants to look at.