[ Issue 1375 ] Fixed by more precise SIZELT analysis of clauseTel.

TODO: Make analysis even more precise.
[ Issue 1375 ] Variations on a test case.
[ testsuite ] Silenced succeed/Issue1345 (no debug output!).