Introduce Local Var

Creates a definition of a local variable for a given subexpression.