Locations for expressions computed from the OCaml compiler annotations