a-cost/
a-noIntrospect/
a-parseFail/
a-prosequest/
a-zoneViol/