attempted progress on infer_d_complete

not obviously making progress though. reduced it to showing that
check_t holds of something, but there seem to be no relevant assumptions
about that thing.