Problem
1. Suppose that we use a language supporting procedure parameters. For example, module M. may call a procedure P of module m:,s, passing to it procedure Q of module Mk as a para-meter. How could you define the USES relation for 143, considering the modules it uses by calling its formal procedure parameter?
2. Are IS_COMPOSED_OF and IMPLEMENTS relations on S?