Remove dead variable and assignment
Remove S<l check.
Plan is to add is_standard()/is_canonical() instead of changing the current behavior
of the verification function. Suggested by CodesInChaos.
Make include guards consistent, and avoid reserved identifiers.