Makefile: How to recursively trace a program's import hierarchy?

Question

The problem

Consider the following recipe:

a: b
    

Maybe it\'s correct. But if b imports another program