Simplified Ewff::Conj. variables() and names() return SortedMaps.