Remove pointless input well-formedness check
Remove redundant \!nil check on assignments
Remove input sanitization test from spec
Fix whitespace
Shorten line to 80chars