Function try_builtin 

pub fn try_builtin(
    m: &mut Machine,
    name: &str,
    args_idx: usize,
    arity: u32,
) -> Option<i32>

Try to handle name/arity as a control construct or deterministic builtin. Returns None when it’s an ordinary predicate call.