minor
invert-wf-fun done. need to update eval-safe.
fix invert-fun
invert-fun and invert-wf-fun done, eval-safe up to date