Fix: shelve_unifiable did not work modulo evar instantiation.

Irony…