-- NB: We cant check the lint result and return noInfo_UF if
-- lintUnfolding failed as this is too strict
-- Instead getInfo_UF tests for BadUnfolding and converts
-- NB: We cant check the lint result and return noInfo_UF if
-- lintUnfolding failed as this is too strict
-- Instead getInfo_UF tests for BadUnfolding and converts