find-symbols and truth-table updated for latest grammar