Непонятки с функционалом

Но самое смешное во всем этом то, что сама Аксапта (3.0 SP1) на приведенный фрагмент не ругается ни при компиляции, ни при проверке Best Practices!
Более того, она не ругается даже на такой ЯВНЫЙ "мертвяк":

if (a)
{
 return a;
}
else
{
 b++;
 return b;
}
 b--;

Ведь никто не будет спорить, что b-- - dead code?
Вот и читай после этого Best Practices... То есть, верь после этого людям! Написано-то складно, а на деле...