Function compare_terms 

pub(crate) fn compare_terms(
    left: &Term,
    op: CompOp,
    right: &Term,
) -> Option<bool>