semantic: Make sure abstract functions are members.