The conformance rules for parameters and returning items apply at compile time when an explicit reference is made to them
               from a syntax rule.
            
            
            Note: Conformance rules for parameters and returning items are checked at compile time for:
               
                  
                  - An INVOKE statement on an object reference that is not a universal object reference,
- A reference to a user-defined function,
- A program-prototype format of the CALL statement.