More Detailed Log Output

[tobiasschweizer]

from @yangshen16

Probably you could also add more logs to be exported in the terminal, to mark the execution to a certain step. And with more logs, maybe you could also combine the "resolve" and "infer" processes.