`Foundry.help_info()` does not print link to the `foundry_success` predicate

[lisandrasilva]

The function Foundry.help_info() has an if condition that always evaluates to false. The link to the foundry_success predicate is added to the res_lines inside this if block, which means it is never printed to the user.

kontrol/src/kontrol/foundry.py

Lines 367 to 380 in dd53921

	def help_info() -> list[str]:
	res_lines: list[str] = []
	print_foundry_success_info = any('foundry_success' in line for line in res_lines)
	if print_foundry_success_info:
	res_lines.append('')
	res_lines.append('See `foundry_success` predicate for more information:')
	res_lines.append(
	'https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate'
	)
	res_lines.append('')
	res_lines.append(
	'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol'
	)
	return res_lines