Reorganized toplevel of style checker