Function try_structural_certificate 

pub fn try_structural_certificate(
    _function_name: &Name,
    calls: &[RecCallInfo],
    param_infos: &[ParamInfo],
) -> Option<WfRelationKind>

Build a termination certificate for a structurally recursive function.