Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3