prove cheat in infer_pe_complete

with copious help from Yong Kiam