Implemented the first check

Very basic, and very incomplete. Checks for unused variables.