ignore empty ProofInfos;

Empty proof infos seem to multiply when attempts are extended. Only reuse the meta-information if it is non-empty.