Adds common subexpression elimination prototype