S graph language used by the osc sisal compiler, a superset of if1.

["IF2: An Applicative Language Intermediate Form with Explicit Memory Management", M. L. Welcome et al, UC-LLNL, Nov 1986].