Function eval 

fn eval(
    idx: &VolumeIndex,
    memo: &PathMemos,
    ctx: &mut EvalCtx,
    t: &CTerm,
    id: EntryId,
) -> bool