add test case for new behavior (that I think was legtimately a bug before the recent change to metafunction contracts that added #:post)
add test case for new behavior (that I think was
legtimately a bug before the recent change
to metafunction contracts that added #:post)

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