added components for incremental IDE solver