Used an evar name based on the local def name in "evar" tactic.