Translating the CDL input to a SPIN program: