habeas corpus precedent