Updating TODO.md
Minor formatting
Fixing TC to detect functions with no return stmt.