let spec = parse_from_location Logic_parser.spec