Make well-typed translations of QuickSpec properties