trie folding
added truth table generator