wip - identified new test failures, cleaned up dump logic
wip - new logic to account for D being non-monotonic wrt P
cleaned up for some benchmarking