maint: Add function include_tautological ()

* dietncl/filter/norm1.lua: Likewise
* tests/test-filter-norm1.lua: Likewise.