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