solang: If a function is declared pure, error should tell you which statement reads/writes contract storage

contract c {
     bool s;
     function test() public pure {
       s = true;
     }
}

This should give an error message tell you exactly where contract storage is being accessed.