Refactoring of where tcSimplifyTop happens