let ext_spec = parse_from_location Logic_parser.ext_spec