Transformations

There are several transformations that metasp applies to the input encodings to avoid grounding simplifications.

We use the aspen system to perform the first order transformations using ASP. And the meta-tools system which simplifies the extension of the reified output.

The two main transformations consist of traanslating show statements into rules, and adding externals to avoid grounding simplifications of the reified program.