An Alloy TSS pre-compiler