inlinetoplevel expr@(Var f) | not $ isUserDefined f = do
norm <- isNormalizeable f
-- See if this is a top level binding for which we have a body
inlinetoplevel expr@(Var f) | not $ isUserDefined f = do
norm <- isNormalizeable f
-- See if this is a top level binding for which we have a body