Committing SBML to SMT2 code to the repository.