now consExpr also returns Nothing if expr is terminating -- e.g. due to DeadCast
now consExpr also returns Nothing if expr is terminating -- e.g. due to DeadCast

UCSD-PL/RefScript,UCSD-PL/RefScript,UCSD-PL/RefScript