procedure-analysis takes an optional module argument
Fixing doc inference via procedure analysis.
Show a basic header even when inference fails.