bit more type_pe_determ_infer_e

looking slightly more plausible, but still not obvious