Function whnf_with_options 

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

Variant of whnf that takes an explicit ConvertOptions.