Rule: No unused variables