Issue 37: Flagging impossible code and unnecessary tests
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Dynamic state tests can sometimes only return one value, which makes them
unnecessary and possibly means that code branches can never execute.  It
would be nice to flag those to the user as possible performance improvements.