Function nf_with_options 

pub fn nf_with_options(
    term: &Node,
    env: &mut Env,
    options: ConvertOptions,
) -> Node

Variant of nf that takes an explicit ConvertOptions.