Implements renamer checks to verify that static is only given top-level value bindings.