Implemented comparison, changed memoization of Pred() to no longer falsely assume an ordered dictionary