Fixes #185. * spot/tl/simplify.cc: Implement the new rule. * NEWS, doc/tl/tl.tex: Document it. * tests/core/reduccmp.test: Test it.