add debug output for type inference. Verified the inference results are correct for pcg.
add debug output for type inference. Verified the inference results are correct for pcg.

IntelLabs/Sparso,IntelLabs/Sparso,IntelLabs/Sparso,IntelLabs/Sparso