SATG generation tool added.