a simple tool that performs some simple static checks on Racket code