Must code contracts and pex be applied in a tdd fashion? Is it possible to apply these testing techniques to 3rd party or legacy code?