Open input file in error-replace mode to ignore and replace unknown character

	print(f'[green]Analyzing "{filename}"')

	with open(filename, 'r') as file:

	# Read the file.

	# Note: We use utf-8 and replace errors to avoid problems with special or unknown characters.

	with open(filename, 'r', encoding = 'utf-8', errors = 'replace') as file:

		inLines = file.readlines()

	outClauses:list[Clause] = [Clause(0, '', '', [])]