Function capitalize_first 

pub fn capitalize_first(s: &str) -> String

Capitalizes the first character of a string.

Used for predicate names in logic output (e.g., “cat” → “Cat”).