Do not warn about unreachable code.
Simplify code.
Improve doc.