Handle the a-pred annotation.

Note that there is an issue with duplicate errors for the moment, due to
functions getting visited twice.