MMF-936: Symbolic Execution handles try/catch/finally blocks.
Symbolic Execution handles default() and Nullable.
5 FxCop rules.