Translating Alloy specifications to the point-free style Teses