// Determine if for the letvar definition can ignore laziness.
boolean canIgnoreLaziness = canIgnoreLaziness(let.getDefn().getExpr(), variableContext);
if (!canIgnoreLaziness) {
// Check to see if the def is a call to a lifted var definition
Expression defExpr = let.getDefn().getExpr();
Expression.Var defVar = defExpr.asVar();
if (defVar == null && defExpr.asAppl() != null) {
Expression[] chain = appChain(defExpr.asAppl());
defVar = chain[0].asVar();
}
if (defVar != null) {