more tests - for annotation assertions, both literal and object
incomplete test for GCIs
Added failing test for sub-APs