His state habeas attorney made a number of claims on Davila’s behalf in that petition but did not contend that Davila’s lawyer on the direct appeal was constitutionally deficient for failure to object to the jury instruction.