semantic: Ensure abstract methods reside in abstract classes.