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].