This module defines commonly-used transformation utilities for C/C++/Objective C ASTs given in the TERMITE term representation as exported by SATIrE.
simple_form_of/2 is used to convert the verbose *nary_node() terms to a more compact representation
Example:
unary_node(int_val, foo ...) <-> int_val(foo, ...)
Since all AST nodes follow the same structure, this predicate can be used to quickly compose or decompse a node.
This predicate is especially useful for debugging purposes.
Needed during unparsing.
Location must be one of [before, after, inside].