A system and method to reduce the size of source code in a processing
system are described. Multiple subgraph structures are identified within
a graph structure constructed for multiple source code instructions in a
program. Unifiable variables that are not simultaneously used in the
source code instructions are identified within each subgraph structure.
Finally, one or more unifiable instructions from a tine of a
corresponding subgraph structure are transferred to a handle of the
corresponding subgraph structure, each unifiable instruction containing
one or more unifiable variables.