let
to_clauses_from_file (string: string) : clause list =
parse_from_file string