isNestedLam (If c t e) = isNestedLam c || isNestedLam t || isNestedLam e
isNestedLam (If c t e) = isNestedLam c || isNestedLam t || isNestedLam e
isNestedLam (If c t e) = isNestedLam c || isNestedLam t || isNestedLam e