Introduce Local Var
Creates a definition of a local variable for a given subexpression.