prove a cheat in type_pe_determ_infer_e