pub fn eval_predicate( vm: &mut dyn Vm<'_>, predicate: &Func, value: Value, callee: &str, ) -> SourceResult<bool>