Updated the whole topology code to be consistent in computing the "is_metric_symmetric" meta-function. Also fixed some issues in the neighborhood finding functions (pred-succ).