Added artificial coverage of abstract interface definitions