Basic Depresolve now implemented.