In the hierarchy of a (tagged) derived types, call primitive subprograms in
such a way that the called subprogram is detected only dinamically. No
class-wide operation is involved

Verify that:

* only the code of actually called subprograms is reported as covered;
