Function run_formal_ai_cli 

pub fn run_formal_ai_cli(options: &CliOptions<'_>) -> i32

Run --use-formal-ai and return the exit status.