Utils now also checks for nonterminating rules.
genBoltzCfg now uses a specification that uses tree-type definition, and minor
re-arrangement of code