Compiler from a minimal pseudo language to Cubicle input language