But if that is a problem and it does not converge it should result in solving failure. If the solver succeeds it means that the given abortion criteria is fullfilled, that the needed precission is reached. This is the case for the given sketch. Now it showed that the successfully solved sketch does not meet the occ criteria. This means that either the sketcher abortion criteria is too high or that the error function does compute something different than what occ uses for tangency comparison. Both cases would be solver problems and should be fixed.Took a look. Edge-to-edge tangency+coincident is the bad way of constraining a sketch. It causes a double zero of error function, which causes poor convergence.