coq errors dont always have location offset . handled the resulting null exception