remove example inversion lemmas
preservation eval-safe, var case