Generate syntactically correct Cminus programs