implement_methods
Checks for abstract methods and methods from interfaces which need implementing.
INCLUDE programs are only checked in connection with their main programs.