7619: fix recursion error on nested Min

Alternatively, instead of checking that the there was no AppliedUndef,
if the expression involving the Min were denested as 2*Min(a,b)->Min(2*a,2*b)
the recursion error would not have occured, either...but one might not
want the unnested expression.