Revert "Do not actually use dependent contracts in provide/doc if there is no dependency"
Revert "Do not actually use dependent contracts in provide/doc if there is no dependency"

This reverts commit 334978a8e42347ef0db5480fe6c959ca90cb3bb9.

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket