pub fn compare_terms(m: &Machine, a: Word, b: Word) -> Ordering
Total standard order over two heap words (after dereferencing).