Minimal valid depresolve implementation.