let
lexpr = parse_from_location
Logic_parser
.lexpr_eof