We just display "Implementing conformance tests..." but don't display the associated "test specs" that are set for the current module.
I think we should do that.
Same for test requirements in this case.
Also, I think "test requirements" should be removed to "test specs"