adjust contract test suite to do more provide/contract => contract-out rewriting in order to test contract-out more
adjust contract test suite to do more provide/contract => contract-out
rewriting in order to test contract-out more

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