toward incremental constraint solving