Make pointer_equals/2 pure.

library/version_hash_table.m:
    As above.