let lexpr = parse_from_location Logic_parser.lexpr_eof