first implementation of proper line search
Refactoring bounded trace solver