Refactoring analysis and executing uplowbound directly