Check defthm freemap for extra var keys