Minor tweak to vanilla TrieFactDB.add()
Minor tweak to vanilla TrieFactDB.add()

gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI,gangeli/NaturalLI