add counterexample to infer_d_complete

idea due to yong kiam. there are other kinds of counterexample too. the
theorem statement needs more work.