Function is_terminating 

pub fn is_terminating(env: &Env, def_name: &str) -> TerminationResult

Public termination checker. Returns a TerminationResult with structured diagnostics; callers can either propagate them as-is or convert each entry into a Diagnostic for the existing pipeline. The mirrored JS helper is exported under the same name (isTerminating).