Module conversion 

Conversion between different task representation

Modules

goal

Support for executing goals.

tst

Support for converting Tst via a recursive mapping process. It is especially useful for expanding TSTs.