NOTE: This transformation pass is not fully integrated into the rest
of the framework:

 - hardwired dependencies to the xC frontend
 - duplicates functionality (e.g., scc) 
 - treats a reduced subset of the language
 - it does not use system builtin tables
