bound simplification refactoring