line filtering of truth table now in code-to-truth-table, markdown
adapted