Class: CheckDefinitionValidityPass  - X-Ref

This pass validates each definition individually only taking the information
into account which is contained in the definition itself.

Later passes can rely on the following, and specifically do not need to
perform these checks themselves:

- non synthetic, non abstract services always have a class set
- synthetic services are always public
- synthetic services are always of non-prototype scope