let
spec = parse_from_location
Logic_parser
.spec