Member predicate Impl::Variable::getLetExpr

Gets the let expression that introduces this variable, if any.

This is restricted to simple let expressions of the form let x = ....