LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach