Make sure we process 'implements' statements from the spec.