pub fn compare_terms(
old: Option<&SimpleTerm>,
new: Option<&SimpleTerm>,
method: CompareMethod,
scope: &SimpleScope,
) -> Result<TermChange, String>pub fn compare_terms(
old: Option<&SimpleTerm>,
new: Option<&SimpleTerm>,
method: CompareMethod,
scope: &SimpleScope,
) -> Result<TermChange, String>