Function eval_bool_tree 

pub fn eval_bool_tree(ctx: &Context, term: &Term) -> Option<bool>

The tree-walking interpreter decision — walks the Term each step. The fallback for eval_bool and the differential oracle the compiled path is validated against.