let
ext_spec = parse_from_location
Logic_parser
.ext_spec