Language.Why3.Names

countUses

rename

apSubst

freeNames